# HG changeset patch
# User wenzelm
# Date 957775993 -7200
# Node ID 0c9cf33d499bd506a7196318ea090c11d11d74ab
# Parent  ff207088cf0c38596735dfa0a3242e95f62c65db
improved handling of Isabelle styles (less garbage);

diff -r ff207088cf0c -r 0c9cf33d499b doc-src/TutorialI/IsaMakefile
--- 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