1.1 --- a/doc-src/TutorialI/IsaMakefile	Wed Dec 13 09:32:55 2000 +0100
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Wed Dec 13 09:39:53 2000 +0100
     1.3 @@ -23,6 +23,9 @@
     1.4  	@cd $(SRC)/HOL; $(ISATOOL) make HOL
     1.5  
     1.6  styles:
     1.7 +	@rm -f isabelle.sty
     1.8 +	@rm -f isabellesym.sty
     1.9 +	@rm -f pdfsetup.sty
    1.10  	@$(ISATOOL) latex -o sty >/dev/null
    1.11  	@rm -f pdfsetup.sty
    1.12  	@rm -f */document/isabelle.sty
    1.13 @@ -98,7 +101,8 @@
    1.14  
    1.15  HOL-Advanced: HOL $(LOG)/HOL-Advanced.gz
    1.16  
    1.17 -$(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML Advanced/WFrec.thy
    1.18 +$(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML Advanced/WFrec.thy \
    1.19 +	Advanced/Partial.thy
    1.20  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Advanced
    1.21  	@rm -f tutorial.dvi
    1.22