Replace the glob in the clean target with a POSIX-compliant "for" loop.

diff --git a/GNUmakefile b/GNUmakefile
index 89db2d9e05ddb249443d214be48ea65b001ffe39..28796c153bf13b84364e6d195cb132cda5754296 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -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