X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;ds=sidebyside;f=GNUmakefile;h=28796c153bf13b84364e6d195cb132cda5754296;hb=e49da80d1ec7904d4ba8ca0e4bb1a24b14c1d74e;hp=cf7ab221fbc7cf04668564ba2f54fa6af5f040c9;hpb=281c5657812a7d2ec9dfa57cc59a2d9d40db1f06;p=mjotex.git

diff --git a/GNUmakefile b/GNUmakefile
index cf7ab22..28796c1 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -11,7 +11,7 @@ PN = examples
 # A space-separated list of bib files. These must all belong to paths
 # contained in your $BIBINPUTS environment variable.
 #
-# Leave commented if you don't use a bibliography file.
+# Leave commented if you don't use a bibliography database.
 #
 #BIBS = references.bib
 
@@ -125,11 +125,14 @@ endif
 check:
 	@[ -z "$(shell chktex --quiet mjotex.sty)" ]
 
-# Clean up leftover junk.
+# Clean up leftover junk. This only looks overcomplicated because
+# the *.{foo,bar} syntax supported by Bash is not POSIX, and Make
+# will execute these commands using /bin/sh (which should be POSIX).
+JUNK_EXTENSIONS  = aux bbl bcf bib blg listing lof log nav out pdf
+JUNK_EXTENSIONS += snm spl toc xml
 .PHONY: clean
 clean:
-	rm -f *.{aux,bbl,bcf,bib,blg,listing,lof,log}
-	rm -f *.{nav,out,pdf,snm,spl,toc,xml}
+	for ext in $(JUNK_EXTENSIONS); do rm -f *.$$ext; done;
 	rm -rf dist/
 
 # If this document will be published, the publisher isn't going to