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.
improved handling of Isabelle styles (less garbage);
authorwenzelm
Mon, 08 May 2000 10:53:13 +0200
changeset 8825 0c9cf33d499b
parent 8824 ff207088cf0c
child 8826 d7ad3ca77685
improved handling of Isabelle styles (less garbage);
doc-src/TutorialI/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/IsaMakefile	Mon May 08 10:52:46 2000 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Mon May 08 10:53:13 2000 +0200
@@ -4,7 +4,7 @@
 
 ## targets
 
-default: styles HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc
+default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc styles
 
 
 ## global settings
@@ -19,16 +19,11 @@
 HOL:
 	@cd $(SRC)/HOL; $(ISATOOL) make HOL
 
-styles: isabelle.sty isabellesym.sty pdfsetup.sty
-
-isabelle.sty: $(ISABELLE_HOME)/lib/texinputs/isabelle.sty
-	cp $(ISABELLE_HOME)/lib/texinputs/isabelle.sty .
-
-isabellesym.sty: $(ISABELLE_HOME)/lib/texinputs/isabellesym.sty
-	cp $(ISABELLE_HOME)/lib/texinputs/isabellesym.sty .
-
-pdfsetup.sty: $(ISABELLE_HOME)/lib/texinputs/pdfsetup.sty
-	cp $(ISABELLE_HOME)/lib/texinputs/pdfsetup.sty .
+styles:
+	@$(ISATOOL) latex -o sty
+	@rm -f */document/isabelle.sty
+	@rm -f */document/isabellesym.sty
+	@rm -f */document/pdfsetup.sty
 
 
 ## HOL-Ifexpr
isabelle