Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/TutorialI/Makefile
changeset 48612 795d38a6dab3
parent 48522 708278fc2dff 
--- a/doc-src/TutorialI/Makefile	Mon Jul 30 17:25:45 2012 +0200
+++ b/doc-src/TutorialI/Makefile	Mon Jul 30 17:37:34 2012 +0200
@@ -23,9 +23,13 @@
 	../../lib/texinputs/isabelle.sty				\
 	../../lib/texinputs/isabellesym.sty ../pdfsetup.sty
 
+ToyList2/ToyList.thy: ToyList2/ToyList1 ToyList2/ToyList2
+	cat ToyList2/ToyList1 ToyList2/ToyList2 > ToyList2/ToyList.thy
+
+
 dvi: $(NAME).dvi
 
-$(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps
+$(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps ToyList2/ToyList.thy
 	$(LATEX) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(LATEX) $(NAME)
@@ -35,7 +39,7 @@
 
 pdf: $(NAME).pdf
 
-$(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf
+$(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf ToyList2/ToyList.thy
 	$(PDFLATEX) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(PDFLATEX) $(NAME)
isabelle