X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=GNUmakefile;h=fd37d92ed60c5af1bf9eca5b992a5f23c38afbd9;hb=5f2d44683ba6cb73b45d572724e827f70641660d;hp=89db2d9e05ddb249443d214be48ea65b001ffe39;hpb=d049732b73c04fe93839b552c403e731c0d5d8fc;p=mjotex.git

diff --git a/GNUmakefile b/GNUmakefile
index 89db2d9..fd37d92 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -20,7 +20,7 @@ PN = examples
 MJOTEX  = mjo-algorithm.tex mjo-arrow.tex mjo-common.tex mjo-cone.tex
 MJOTEX += mjo-convex.tex mjo-font.tex mjo-linear_algebra.tex mjo-listing.tex
 MJOTEX += mjo-misc.tex mjo-proof_by_cases.tex mjo-theorem.tex
-MJOTEX += mjo-theorem-star.tex mjo-topology.tex
+MJOTEX += mjo-theorem-star.tex mjo-topology.tex mjo.bst
 
 # Use kpsewhich (from the kpathsea suite) to find the absolute paths
 # of the bibtex/mjotex files listed in in $(BIBS)/$(MJOTEX). The SRCS
@@ -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