chiark / gitweb /
make clean - remove *.ps
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 18 Mar 2012 11:27:58 +0000 (11:27 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 18 Mar 2012 11:27:58 +0000 (11:27 +0000)
Makefile

index 0f2016e..2e4d97d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -20,4 +20,4 @@ final.pdf: $(SRCS)
                pdftops $*.pdf $*.ps
 
 clean:
-       rm -f *.aux *.log *.dvi *.out *.pdf *~
+       rm -f *.aux *.log *.dvi *.out *.pdf *.ps *~