# HG changeset patch # User nipkow # Date 1106738407 -3600 # Node ID 8447132f4ff5b6c65a7a2d82592129bbed60c718 # Parent dce7827f8d759b3a5fd0f4eec91b4357c4d98926 *** empty log message *** diff -r dce7827f8d75 -r 8447132f4ff5 doc-src/LaTeXsugar/IsaMakefile --- 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