| changeset 15342 | 13bd3d12ec2f |
| parent 15337 | 628d87767434 |
| child 15467 | 8447132f4ff5 |
--- a/doc-src/LaTeXsugar/IsaMakefile Mon Nov 29 14:02:55 2004 +0100 +++ b/doc-src/LaTeXsugar/IsaMakefile Mon Nov 29 18:49:35 2004 +0100 @@ -21,7 +21,7 @@ Sugar: $(LOG)/HOL-Sugar.gz -$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/*.thy +$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/document/root.bib Sugar/*.thy @$(USEDIR) HOL Sugar