# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1315868225 14400
# Node ID 21229271f44c9e209ff4a1ad0b5b6d6acf72a411
# Parent  6838c7be18fa94772a7655415d8c9923e9c38559
Fix 'make clean'

diff -r 6838c7be18fa -r 21229271f44c Makefile
--- a/Makefile	Mon Sep 12 16:47:43 2011 -0400
+++ b/Makefile	Mon Sep 12 18:57:05 2011 -0400
@@ -24,7 +24,7 @@
 clean:: Makefile.coq
 	$(MAKE) -f Makefile.coq clean
 	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