Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use absolute path to find LaTeXSugar and OptionalSugar
authorkleing
Sat, 30 Apr 2005 14:01:45 +0200
changeset 15898 435f0e743854
parent 15897 86d510b0e4b7
child 15899 e30f9161890f
use absolute path to find LaTeXSugar and OptionalSugar
doc-src/LaTeXsugar/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/LaTeXsugar/IsaMakefile	Sat Apr 30 13:09:38 2005 +0200
+++ b/doc-src/LaTeXsugar/IsaMakefile	Sat Apr 30 14:01:45 2005 +0200
@@ -23,7 +23,7 @@
 
 $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
   Sugar/document/root.tex Sugar/document/root.bib \
-  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy 
+  $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 
 	@$(USEDIR) HOL Sugar
isabelle