Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/LaTeXsugar/IsaMakefile
changeset 15467 8447132f4ff5
parent 15342 13bd3d12ec2f
child 15471 e7f069887ec2 
     1.1 --- a/doc-src/LaTeXsugar/IsaMakefile	Wed Jan 26 11:53:30 2005 +0100
     1.2 +++ b/doc-src/LaTeXsugar/IsaMakefile	Wed Jan 26 12:20:07 2005 +0100
     1.3 @@ -21,7 +21,8 @@
     1.4  
     1.5  Sugar: $(LOG)/HOL-Sugar.gz
     1.6  
     1.7 -$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/document/root.bib Sugar/*.thy
     1.8 +$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/document/root.bib \
     1.9 +  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptinalSugar.thy
    1.10  	@$(USEDIR) HOL Sugar
    1.11  
    1.12
wneuper/isa