GNUmakefile: update the cleanup rules.

diff --git a/GNUmakefile b/GNUmakefile
index 1f65dd9b892a388624b3a576076cc70f2c391afc..75f4677aca1206fcacc477857ba5ff317c036a77 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -214,13 +214,13 @@ check: check-boxes check-chktex check-undefined check-sage
 # 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  = aux bbl bcf blg glo ilg ist listing lof log nav out pdf
 JUNK_EXTENSIONS += snm spl toc xml
 .PHONY: clean
 clean:
        for ext in $(JUNK_EXTENSIONS); do rm -f *.$$ext; done;
        rm -rf dist/
-       rm -f $(SAGE_LISTING_DSTS)
+       rm -f $(SAGE_LISTING_DSTS) $(INDEX_SRCS) $(INDEX_DSTS)
 
 # If this document will be published, the publisher isn't going to
 # have your BibTeX database or your mjotex files. So, you need to