Commit 29359c58 authored by Adam Chlipala's avatar Adam Chlipala

Fix 'make clean'

parent 996a5b75
...@@ -24,7 +24,7 @@ Makefile.coq: Makefile $(VS) ...@@ -24,7 +24,7 @@ Makefile.coq: Makefile $(VS)
clean:: Makefile.coq clean:: Makefile.coq
$(MAKE) -f Makefile.coq clean $(MAKE) -f Makefile.coq clean
rm -f Makefile.coq .depend cpdt.tgz templates/*.v rm -f Makefile.coq .depend cpdt.tgz templates/*.v
cd latex; rm -f *.sty *.log *.aux *.dvi *.tex *.toc *.bbl *.blg *.idx *.ilg *.pdf *.ind *.out cd latex; rm -f *.sty *.log *.aux *.dvi *.v.tex *.toc *.bbl *.blg *.idx *.ilg *.pdf *.ind *.out
doc: latex/cpdt.pdf html doc: latex/cpdt.pdf html
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment