diff --git a/docs/GLOBAL.adu b/docs/GLOBAL.adu
deleted file mode 100644
index 3542b7d1e..000000000
Binary files a/docs/GLOBAL.adu and /dev/null differ