branch: elpa/proof-general
commit ce0f2f3041098e4a59ec37d5eb6bbe790ee6a751
Author: Erik Martin-Dorel <erik.martin-do...@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-do...@irit.fr>
fix(dist-tests): `make dist-tests` also runs `make tests check-doc-magic`
---
Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 891d2a6..4db14a0 100644
--- a/Makefile
+++ b/Makefile
@@ -130,8 +130,8 @@ tests:
##
## dist-tests : run all regression tests
##
-.PHONY: dist-tests check-doc-magic
-dist-tests:
+.PHONY: dist-tests
+dist-tests: tests check-doc-magic
+$(MAKE) -C ci/simple-tests all
+$(MAKE) -C ci/compile-tests test
+$(MAKE) -C ci/test-indent
