1.1 --- a/doc-src/LaTeXsugar/IsaMakefile	Mon Nov 29 14:02:55 2004 +0100
     1.2 +++ b/doc-src/LaTeXsugar/IsaMakefile	Mon Nov 29 18:49:35 2004 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  
     1.5  Sugar: $(LOG)/HOL-Sugar.gz
     1.6  
     1.7 -$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/*.thy
     1.8 +$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/document/root.bib Sugar/*.thy
     1.9  	@$(USEDIR) HOL Sugar
    1.10  
    1.11