diff Makefile @ 4:ef4d7b41bf72 default tip

small fix in Makefile
author meillo@marmaro.de
date Thu, 25 Sep 2008 16:39:46 +0200
parents ccfa25b1fca2
children
line wrap: on
line diff
--- a/Makefile	Thu Sep 25 10:44:34 2008 +0200
+++ b/Makefile	Thu Sep 25 16:39:46 2008 +0200
@@ -26,6 +26,7 @@
 	@sed -e '/\\pause/d' ${SRC}.tex > ${PRINT}.tex
 	latexmk -pdf $(PRINT)
 	@mv ${PRINT}.pdf $(SRC)_${PRINT}.pdf
+	@rm $(PRINT).tex
 
 .PHONY: all clean view watch print
 .SUFFIXES: .tex .pdf