1.1 --- a/doc-src/TutorialI/IsaMakefile	Wed May 02 11:54:18 2001 +0200
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Thu May 03 10:27:04 2001 +0200
     1.3 @@ -36,6 +36,8 @@
     1.4  	@rm -f */document/isabellesym.sty
     1.5  	@rm -f */document/pdfsetup.sty
     1.6  	@rm -f */document/session.tex
     1.7 +	@rm -f Rules/document/*.tex
     1.8 +	@rm -f Sets/document/*.tex
     1.9  
    1.10  
    1.11  ## HOL-Ifexpr