1.1 --- a/doc-src/LaTeXsugar/IsaMakefile	Fri Jan 28 04:34:55 2005 +0100
     1.2 +++ b/doc-src/LaTeXsugar/IsaMakefile	Fri Jan 28 04:35:51 2005 +0100
     1.3 @@ -14,7 +14,7 @@
     1.4  OUT = $(ISABELLE_OUTPUT)
     1.5  LOG = $(OUT)/log
     1.6  
     1.7 -USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated
     1.8 +USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated -H false
     1.9  
    1.10  
    1.11  ## Sugar
    1.12 @@ -23,7 +23,8 @@
    1.13  
    1.14  $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
    1.15    Sugar/document/root.tex Sugar/document/root.bib \
    1.16 -  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy
    1.17 +  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy \
    1.18 +  ../../Distribution/lib/texinputs/sugar.sty
    1.19  	@$(USEDIR) HOL Sugar
    1.20  
    1.21