changeset 11:71ca21c937d1 default tip

small fix
author meillo@marmaro.de
date Wed, 12 Dec 2007 13:11:00 +0100
parents 7adaf386e4ff
children
files Makefile
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Wed Dec 12 12:54:45 2007 +0100
+++ b/Makefile	Wed Dec 12 13:11:00 2007 +0100
@@ -59,6 +59,7 @@
 	touch ${SRC}
 	@${PDFLATEX} ${PRINT}
 	@${MAKE} clean
+	@rm -r ${PRINT}
 	@mv ${PRINTPDF} ${PRINTOBJ}
 
 .PHONY: all xpdf dist clean realclean rmpdf