1.1 --- a/doc-src/IsarRef/IsaMakefile	Mon Apr 28 20:21:11 2008 +0200
     1.2 +++ b/doc-src/IsarRef/IsaMakefile	Tue Apr 29 13:39:32 2008 +0200
     1.3 @@ -19,14 +19,14 @@
     1.4  
     1.5  ## Thy
     1.6  
     1.7 -Thy: $(LOG)/Pure-Thy.gz
     1.8 +Thy: $(LOG)/HOL-Thy.gz
     1.9  
    1.10 -$(LOG)/Pure-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
    1.11 +$(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
    1.12    Thy/syntax.thy
    1.13 -	@$(USEDIR) Pure Thy
    1.14 +	@$(USEDIR) HOL Thy
    1.15  
    1.16  
    1.17  ## clean
    1.18  
    1.19  clean:
    1.20 -	@rm -f $(LOG)/Pure-Thy.gz
    1.21 +	@rm -f $(LOG)/HOL-Thy.gz