Add *.spl to the "make clean" list.

diff --git a/makefile b/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