diff Makefile @ 12:a7bdc1211d3a

renamed files; some restructuring
author meillo@marmaro.de
date Thu, 21 Jun 2007 10:46:57 +0200
parents 7744082fd6a3
children eff2ffb701fe
line wrap: on
line diff
--- a/Makefile	Thu Jun 21 08:23:04 2007 +0200
+++ b/Makefile	Thu Jun 21 10:46:57 2007 +0200
@@ -27,6 +27,6 @@
 
 clean:
 	echo 'cleaning ...'
-	rm *.{aux,lof,log,lot,nav,out,snm,toc}
+	rm *.{aux,lof,log,lot,nav,out,snm,toc} 2> /dev/null
 
-.PHONY: all xpdf
+.PHONY: all xpdf clean