1.1 --- a/doc-src/TutorialI/IsaMakefile	Wed Apr 19 15:27:08 2000 +0200
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Thu Apr 20 09:54:56 2000 +0200
     1.3 @@ -37,7 +37,7 @@
     1.4  
     1.5  $(LOG)/HOL-Ifexpr.gz: $(OUT)/HOL Ifexpr/Ifexpr.thy Ifexpr/ROOT.ML
     1.6  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Ifexpr
     1.7 -
     1.8 +	@rm -f tutorial.dvi
     1.9  
    1.10  ## HOL-ToyList
    1.11  
    1.12 @@ -48,9 +48,11 @@
    1.13  
    1.14  $(LOG)/HOL-ToyList2.gz: $(OUT)/HOL ToyList2/ToyList.thy ToyList2/ROOT.ML
    1.15  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL ToyList2
    1.16 +	@rm -f tutorial.dvi
    1.17  
    1.18  $(LOG)/HOL-ToyList.gz: $(OUT)/HOL ToyList/ToyList.thy ToyList/ROOT.ML
    1.19  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL ToyList
    1.20 +	@rm -f tutorial.dvi
    1.21  
    1.22  ## HOL-CodeGen
    1.23  
    1.24 @@ -58,6 +60,7 @@
    1.25  
    1.26  $(LOG)/HOL-CodeGen.gz: $(OUT)/HOL CodeGen/CodeGen.thy
    1.27  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL CodeGen
    1.28 +	@rm -f tutorial.dvi
    1.29  
    1.30  
    1.31  ## HOL-Datatype
    1.32 @@ -67,6 +70,7 @@
    1.33  $(LOG)/HOL-Datatype.gz: $(OUT)/HOL Datatype/ROOT.ML Datatype/ABexpr.thy \
    1.34    Datatype/Nested.thy Datatype/unfoldnested.thy Datatype/Fundata.thy
    1.35  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Datatype
    1.36 +	@rm -f tutorial.dvi
    1.37  
    1.38  
    1.39  ## HOL-Trie
    1.40 @@ -75,6 +79,7 @@
    1.41  
    1.42  $(LOG)/HOL-Trie.gz: $(OUT)/HOL Trie/Option2.thy Trie/Trie.thy
    1.43  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Trie
    1.44 +	@rm -f tutorial.dvi
    1.45  
    1.46  
    1.47  ## HOL-Recdef
    1.48 @@ -84,6 +89,7 @@
    1.49  $(LOG)/HOL-Recdef.gz: $(OUT)/HOL Recdef/examples.thy Recdef/termination.thy \
    1.50    Recdef/simplification.thy Recdef/Induction.thy
    1.51  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Recdef
    1.52 +	@rm -f tutorial.dvi
    1.53  
    1.54  
    1.55  ## HOL-Misc
    1.56 @@ -96,9 +102,10 @@
    1.57    Misc/def_rewr.thy Misc/let_rewr.thy Misc/cond_rewr.thy Misc/case_splits.thy \
    1.58    Misc/trace_simp.thy Misc/Itrev.thy Misc/asm_simp.thy
    1.59  	@$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Misc
    1.60 +	@rm -f tutorial.dvi
    1.61  
    1.62  
    1.63  ## clean
    1.64  
    1.65  clean:
    1.66 -	@rm -f $(LOG)/HOL-Ifexpr.gz $(LOG)/HOL-CodeGen.gz $(LOG)/HOL-Misc.gz $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz $(LOG)/HOL-Trie.gz $(LOG)/HOL-Datatype.gz $(LOG)/HOL-Recdef.gz
    1.67 +	@rm -f tutorial.dvi $(LOG)/HOL-Ifexpr.gz $(LOG)/HOL-CodeGen.gz $(LOG)/HOL-Misc.gz $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz $(LOG)/HOL-Trie.gz $(LOG)/HOL-Datatype.gz $(LOG)/HOL-Recdef.gz