doc-src/LaTeXsugar/Makefile
changeset 16395 3446d2b6a19f
parent 15894 41f9c0902db1
child 26911 871cc7f11034
--- 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 \