doc-src/LaTeXsugar/Makefile
changeset 15730 6480cd74feb3
parent 15728 a6a74062ffb0
child 15894 41f9c0902db1
--- a/doc-src/LaTeXsugar/Makefile	Thu Apr 14 08:56:08 2005 +0200
+++ b/doc-src/LaTeXsugar/Makefile	Thu Apr 14 09:19:55 2005 +0200
@@ -20,6 +20,10 @@
 	      Sugar/generated/mathpartir.sty Sugar/generated/LaTeXsugar.tex \
         Sugar/generated/OptionalSugar.tex
 
+GARBAGE = Sugar/generated/*.aux Sugar/generated/*.log Sugar/generated/*.toc \
+          Sugar/generated/*.idx Sugar/generated/*.bbl Sugar/generated/*.blg \
+          Sugar/generated/*.out
+
 dvi: $(NAME).dvi
 
 $(NAME).dvi: $(FILES)