1 files changed, 1 insertions, 0 deletions

diff --git a/INSTALL b/INSTALL
index 9984671..5833d80 100644
--- a/INSTALL
+++ b/INSTALL
@@ -190,6 +190,7 @@ invoke Gnatprep. You may need to define them if you run Gnatprep manually.
  Logdir
  Includedir
  Libdir
+ Alidir
  GPRdir
  Localedir
  Mandir