[nongnu] elpa/proof-general 5519af7 3/6: test: Add check-doc-magic target & Restrict its git-diff test to doc

[ELPA Syncer]

branch: elpa/proof-general
commit 5519af7af84a79242ea54268ec339991df41a825
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>

    test: Add check-doc-magic target & Restrict its git-diff test to doc
---
 .github/workflows/test.yml |  2 +-
 Makefile                   | 10 +++++++++-
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 3979ba2..826ed74 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -73,7 +73,7 @@ jobs:
 
     - run: emacs --version
     - run: make -C doc magic
-    - run: git diff --exit-code
+    - run: git diff --exit-code -- doc
       
   test:
     runs-on: ubuntu-latest
diff --git a/Makefile b/Makefile
index 986aed6..1c0a8ff 100644
--- a/Makefile
+++ b/Makefile
@@ -130,12 +130,20 @@ tests:
 ##
 ## dist-tests : run all regression tests
 ##
-.PHONY: dist-tests
+.PHONY: dist-tests check-doc-magic
 dist-tests:
        +$(MAKE) -C ci/simple-tests all
        +$(MAKE) -C ci/compile-tests test
 
 ##
+## check-doc-magic : check *.texi are up-to-date w.r.t. docstrings
+##
+.PHONY: check-doc-magic
+check-doc-magic:
+       +$(MAKE) -C doc magic
+       git diff --exit-code -- doc
+
+##
 ## Make an individual .elc.  Building separately means we need to be
 ## careful to add proper requires in source files and prevent
 ## evaluating/optimising top-level forms too early.  Using a separate