branch: externals/gpr-query
commit 542cbf35d685b159b56bed12ce97232232d77f57
Author: Stephen Leake <stephen_le...@stephe-leake.org>
Commit: Stephen Leake <stephen_le...@stephe-leake.org>
* ELPA.make (all): Add docs
* gpr-query.texi: Update menus, fix sectioning bug.
---
ELPA.make | 2 +-
gpr-query.texi | 9 +++++++--
2 files changed, 8 insertions(+), 3 deletions(-)
diff --git a/ELPA.make b/ELPA.make
index b80d138872..0917b2d956 100644
--- a/ELPA.make
+++ b/ELPA.make
@@ -4,7 +4,7 @@
.PHONY : all force
-all : build byte-compile autoloads
+all : build byte-compile autoloads docs
docs : gpr-query.info
diff --git a/gpr-query.texi b/gpr-query.texi
index 3723803b36..e9c5e6e587 100644
--- a/gpr-query.texi
+++ b/gpr-query.texi
@@ -39,6 +39,12 @@ developing GNU and promoting software freedom.''
gpr-query Version 1.0.1
+@menu
+* Overview::
+* Installation::
+* GNU Free Documentation License::
+@end menu
+
@node Overview
@chapter Overview
@@ -124,11 +130,10 @@ is available in Mingw64 as package
@menu
* Building GNATCOLL::
-* Building the executables::
@end menu
@node Building GNATCOLL
-@subsection Building GNATCOLL
+@section Building GNATCOLL
The GNAT Community and GNAT pro binary installs have some of the
GNATCOLL packages we need, but we need to install others from source.
