blob: 85c8608c7d37585114529d6ed1689d56bfcb82d9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- doc/Makefile.orig Tue Jun 7 17:42:22 2005
+++ doc/Makefile Tue Jun 7 17:42:47 2005
@@ -19,8 +19,8 @@
$(MAKE) doc
%:
- make -f Makefile.doc DOCNAME=PG-adapting MAKE="make -f Makefile.doc" $@
- make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" $@
+ $(MAKE) -f Makefile.doc DOCNAME=PG-adapting MAKE="$(MAKE) -f Makefile.doc" $@
+ $(MAKE) -f Makefile.doc DOCNAME=ProofGeneral MAKE="$(MAKE) -f Makefile.doc" $@
##
## man page for proofgeneral script
|
