Mercurial > cpdt > repo

comparison Makefile @ 49:827d7e8a7d9e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Predicates with arguments
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Sep 2008 10:59:04 -0400
parents cb135b19adb8
children 437cc4857e2a
comparison
equal deleted inserted replaced
48:b262252669ce 49:827d7e8a7d9e
19 -dump-glob $(GLOBALS)" \ 19 -dump-glob $(GLOBALS)" \
20 -o Makefile.coq 20 -o Makefile.coq
21 21
22 clean:: Makefile.coq 22 clean:: Makefile.coq
23 make -f Makefile.coq clean 23 make -f Makefile.coq clean
24 rm -f Makefile.coq .depend $(GLOBALS) \ 24 rm -f Makefile.coq .depend $(GLOBALS) cpdt.tgz \
25 latex/*.sty latex/cpdt.* templates/*.v 25 latex/*.sty latex/cpdt.* templates/*.v
26 26
27 doc: latex/cpdt.dvi latex/cpdt.pdf html 27 doc: latex/cpdt.dvi latex/cpdt.pdf html
28 28
29 latex/cpdt.tex: Makefile $(VS) 29 latex/cpdt.tex: Makefile $(VS)