| changeset 15467 | 8447132f4ff5 |
| parent 15342 | 13bd3d12ec2f |
| child 15471 | e7f069887ec2 |
--- a/doc-src/LaTeXsugar/IsaMakefile Wed Jan 26 11:53:30 2005 +0100 +++ b/doc-src/LaTeXsugar/IsaMakefile Wed Jan 26 12:20:07 2005 +0100 @@ -21,7 +21,8 @@ Sugar: $(LOG)/HOL-Sugar.gz -$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/document/root.bib Sugar/*.thy +$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/document/root.bib \ + ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptinalSugar.thy @$(USEDIR) HOL Sugar