--- 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