# 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