Merge pull request #488 from Flupp/doc-info-menu-fix

doc/ProofGeneral.texi: fix makeinfo
ProofGeneral · May 6, 2020 · ea62543 · ea62543
2 parents 24e1c5a + c3304c4
commit ea62543
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -41,6 +41,9 @@ jobs:
 
     - run: emacs --version
     - run: make
+    - name: Install makeinfo
+      run: sudo apt-get update -y -q && sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends texinfo
+    - run: make doc.info
 
   test:
     runs-on: ubuntu-latest

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
@@ -4294,6 +4294,7 @@ assistant.  It supports most of the generic features of Proof General.
 @menu
 * Coq-specific commands::
 * Using the Coq project file::
+* Proof using annotations::
 * Multiple File Support::
 * Editing multiple proofs::
 * User-loaded tactics::