From 59e4fa4c0281befce512b366f66e0e92c1740e29 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Tue, 25 Oct 2016 12:11:34 -0400 Subject: [PATCH] Add *.spl to the "make clean" list. --- makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index a0b130e..eabe908 100644 --- 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 -- 2.44.2