1.1 --- a/doc-src/LaTeXsugar/IsaMakefile	Wed Feb 02 18:20:31 2005 +0100
     1.2 +++ b/doc-src/LaTeXsugar/IsaMakefile	Thu Feb 03 03:33:55 2005 +0100
     1.3 @@ -23,8 +23,7 @@
     1.4  
     1.5  $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
     1.6    Sugar/document/root.tex Sugar/document/root.bib \
     1.7 -  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy \
     1.8 -  ../../Distribution/lib/texinputs/sugar.sty
     1.9 +  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy 
    1.10  	@$(USEDIR) HOL Sugar
    1.11  
    1.12