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)