Documented archincludedir.

1 files changed, 11 insertions, 6 deletions

diff --git a/INSTALL b/INSTALL
index 5833d80..9353fe4 100644
--- a/INSTALL
+++ b/INSTALL
@@ -112,11 +112,6 @@ are relevant during the build:
  logdir
     The top-level directory for log files. Default: <localstatedir>/log
 
- includedir
-    The top-level directory for source files to be used in the compilation of
-    software using libraries, used only if no directories project is provided.
-    Default: <prefix>/include
-
  libdir
     The directory for binary libraries to be used by other software, and the
     top-level directory for other architecture-specific files, used for
@@ -128,6 +123,15 @@ are relevant during the build:
     files for this library, used only if no directories project is provided.
     Default: <libdir>
 
+ includedir
+    The top-level directory for source files to be used in the compilation of
+    software using libraries, used only if no directories project is provided.
+    Default: <prefix>/include
+
+ archincludedir
+    Like includedir but for architecture-specific source files, in case this
+    library must install such files. Default: <libdir>/include
+
  gprdir
     The directory for GNAT project files to be used in the building of software
     using libraries. If you set this to a directory that GPRbuild and Gnatmake
@@ -188,9 +192,10 @@ invoke Gnatprep. You may need to define them if you run Gnatprep manually.
  Statedir
  Cachedir
  Logdir
- Includedir
  Libdir
  Alidir
+ Includedir
+ Archincludedir
  GPRdir
  Localedir
  Mandir