mirror of
https://git.freebsd.org/ports.git
synced 2025-07-13 23:39:20 -04:00
13 lines
482 B
Text
13 lines
482 B
Text
--- 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
|