[nongnu] elpa/proof-general ce0f2f3 5/6: fix(dist-tests): `make dist-tests` also runs `make tests check-doc-magic`

[ELPA Syncer]

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