comparison Makefile @ 320:21229271f44c

Fix 'make clean'
author Adam Chlipala <adam@chlipala.net>
date Mon, 12 Sep 2011 18:57:05 -0400
parents d5787b70cf48
children 06d11a6363cd
comparison
equal deleted inserted replaced
319:6838c7be18fa 320:21229271f44c
22 -o Makefile.coq 22 -o Makefile.coq
23 23
24 clean:: Makefile.coq 24 clean:: Makefile.coq
25 $(MAKE) -f Makefile.coq clean 25 $(MAKE) -f Makefile.coq clean
26 rm -f Makefile.coq .depend cpdt.tgz templates/*.v 26 rm -f Makefile.coq .depend cpdt.tgz templates/*.v
27 cd latex; rm -f *.sty *.log *.aux *.dvi *.tex *.toc *.bbl *.blg *.idx *.ilg *.pdf *.ind *.out 27 cd latex; rm -f *.sty *.log *.aux *.dvi *.v.tex *.toc *.bbl *.blg *.idx *.ilg *.pdf *.ind *.out
28 28
29 doc: latex/cpdt.pdf html 29 doc: latex/cpdt.pdf html
30 30
31 latex/%.v.tex: Makefile src/%.v src/%.glob 31 latex/%.v.tex: Makefile src/%.v src/%.glob
32 cd src ; coqdoc --interpolate --latex --body-only -s \ 32 cd src ; coqdoc --interpolate --latex --body-only -s \