--- 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