Mercurial > cpdt > repo

diff Makefile @ 305:690796f4690d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Further emphasize necessity and purpose of Set Implicit Arguments; tweak Makefile to support parallel builds
author Adam Chlipala <adam@chlipala.net>
date Wed, 03 Aug 2011 10:34:53 -0400
parents 7b38729be069
children a419a60e5ff6
line wrap: on
line diff
--- a/Makefile	Tue Jun 28 08:38:08 2011 -0400
+++ b/Makefile	Wed Aug 03 10:34:53 2011 -0400
@@ -12,7 +12,7 @@
 .PHONY: coq clean doc dvi html templates install cpdt.tgz
 
 coq: Makefile.coq
-	make -f Makefile.coq
+	$(MAKE) -f Makefile.coq
 
 Makefile.coq: Makefile $(VS)
 	coq_makefile $(VS) \
@@ -21,7 +21,7 @@
 		-o Makefile.coq
 
 clean:: Makefile.coq
-	make -f Makefile.coq clean
+	$(MAKE) -f Makefile.coq clean
 	rm -f Makefile.coq .depend cpdt.tgz \
 		latex/*.sty latex/cpdt.* templates/*.v
 	rm -f *.aux *.dvi *.log