docs/gimme-shellter

changeset 11:71ca21c937d1 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 diff
     1.1 --- a/Makefile	Wed Dec 12 12:54:45 2007 +0100
     1.2 +++ b/Makefile	Wed Dec 12 13:11:00 2007 +0100
     1.3 @@ -59,6 +59,7 @@
     1.4  	touch ${SRC}
     1.5  	@${PDFLATEX} ${PRINT}
     1.6  	@${MAKE} clean
     1.7 +	@rm -r ${PRINT}
     1.8  	@mv ${PRINTPDF} ${PRINTOBJ}
     1.9  
    1.10  .PHONY: all xpdf dist clean realclean rmpdf