diff PoliMI2012/Makefile @ 5:f8c352d9af2d

take care of filename capitalzation
author Carlo de Falco <cdf@users.sourceforge.net>
date Thu, 08 Nov 2012 10:48:05 +0100
parents 0a1567794b40
children
line wrap: on
line diff
--- a/PoliMI2012/Makefile
+++ b/PoliMI2012/Makefile
@@ -8,7 +8,7 @@
 	pdflatex $*.tex
 
 clean:
-	$(RM) -f *.aux *.log *.nav *.out *.snm *.toc *~ *.backup
+	$(RM) -f *.aux *.log *.nav *.out *.snm *.toc *~ *.backup *.vrb
 
 distclean: clean 
 	$(RM) -f $(SLIDES)
\ No newline at end of file