]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
Add *.spl to the "make clean" list.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 25 Oct 2016 16:11:34 +0000 (12:11 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 25 Oct 2016 16:11:34 +0000 (12:11 -0400)
makefile

index a0b130edc7c686774b989b9eb5695d778d3332c2..eabe908839945305a694fe7552ebbb25fb9ed5dc 100644 (file)
--- a/makefile
+++ b/makefile
@@ -124,7 +124,8 @@ check:
 # Clean up leftover junk.
 .PHONY: clean
 clean:
-       rm -f *.{aux,bbl,bcf,bib,blg,listing,lof,log,nav,out,pdf,snm,toc,xml}
+       rm -f *.{aux,bbl,bcf,bib,blg,listing,lof,log}
+       rm -f *.{nav,out,pdf,snm,spl,toc,xml}
        rm -rf dist/
 
 # If this document will be published, the publisher isn't going to