diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-08-10 13:05:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-08-10 13:05:55 +0000 |
| commit | 444bca102591b8c6b57714e781a68b74bf292d47 (patch) | |
| tree | c31364c0fc0f2f3756ed39d7cd52198ab57a0c5a /doc/Makefile | |
| parent | 31a9df46b727aa5eb6fea373d81bc8203891f104 (diff) | |
Include proofgeneral.1 target. Fix make->(MAKE)
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
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 |