[elpa] externals/gpr-query 542cbf35d6 3/3: * ELPA.make (all): Add docs

[Stephen Leake]

branch: externals/gpr-query
commit 542cbf35d685b159b56bed12ce97232232d77f57
Author: Stephen Leake <stephen_leake@stephe-leake.org>
Commit: Stephen Leake <stephen_leake@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.