author | kleing |
Sat, 30 Apr 2005 14:01:45 +0200 | |
changeset 15898 | 435f0e743854 |
parent 15897 | 86d510b0e4b7 |
child 15899 | e30f9161890f |
1.1 --- a/doc-src/LaTeXsugar/IsaMakefile Sat Apr 30 13:09:38 2005 +0200 1.2 +++ b/doc-src/LaTeXsugar/IsaMakefile Sat Apr 30 14:01:45 2005 +0200 1.3 @@ -23,7 +23,7 @@ 1.4 1.5 $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \ 1.6 Sugar/document/root.tex Sugar/document/root.bib \ 1.7 - ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy 1.8 + $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 1.9 @$(USEDIR) HOL Sugar 1.10 1.11