From 444bca102591b8c6b57714e781a68b74bf292d47 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 10 Aug 2005 13:05:55 +0000 Subject: Include proofgeneral.1 target. Fix make->(MAKE) --- doc/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index 4c29a546..0331cd10 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -19,13 +19,13 @@ default: $(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 ## # man: proofgeneral.1 # -#proofgeneral.1: ../bin/proofgeneral -# help2man --output=$@ ../bin/proofgeneral +proofgeneral.1: ../bin/proofgeneral + help2man --output=$@ ../bin/proofgeneral -- cgit v1.2.3