1.1 --- a/doc-src/Codegen/IsaMakefile	Tue Aug 17 19:36:39 2010 +0200
     1.2 +++ b/doc-src/Codegen/IsaMakefile	Wed Aug 18 09:46:58 2010 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  Thy: $(THY)
     1.5  
     1.6  $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
     1.7 -	@$(USEDIR) -m no_brackets -m iff HOL Thy
     1.8 +	@$(USEDIR) -m no_brackets -m iff HOL-Library Thy
     1.9  	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    1.10  	 Thy/document/pdfsetup.sty Thy/document/session.tex
    1.11