diff -r 5058984779b9 -r 045647dfca9c doc-src/LaTeXsugar/IsaMakefile
--- a/doc-src/LaTeXsugar/IsaMakefile	Fri Jan 28 04:34:55 2005 +0100
+++ b/doc-src/LaTeXsugar/IsaMakefile	Fri Jan 28 04:35:51 2005 +0100
@@ -14,7 +14,7 @@
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
 
-USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated
+USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated -H false
 
 
 ## Sugar
@@ -23,7 +23,8 @@
 
 $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
   Sugar/document/root.tex Sugar/document/root.bib \
-  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy
+  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy \
+  ../../Distribution/lib/texinputs/sugar.sty
 	@$(USEDIR) HOL Sugar