diff -r 495dbcd4f4c9 -r 3446d2b6a19f doc-src/LaTeXsugar/Makefile --- a/doc-src/LaTeXsugar/Makefile Tue Jun 14 23:44:37 2005 +0200 +++ b/doc-src/LaTeXsugar/Makefile Wed Jun 15 09:01:15 2005 +0200 @@ -17,8 +17,8 @@ NAME = sugar FILES = Sugar/document/root.tex Sugar/document/root.bib \ - Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \ - Sugar/document/OptionalSugar.tex + Sugar/document/mathpartir.sty Sugar/document/LaTeXsugar.tex \ + Sugar/document/OptionalSugar.tex Sugar/document/Sugar.tex GARBAGE = Sugar/document/*.aux Sugar/document/*.log Sugar/document/*.toc \ Sugar/document/*.idx Sugar/document/*.bbl Sugar/document/*.blg \