branch: elpa/proof-general
commit 5519af7af84a79242ea54268ec339991df41a825
Author: Erik Martin-Dorel <erik.martin-do...@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-do...@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
