diff -r ae2c3059f8cc -r e5448cf9a048 doc-src/Codegen/IsaMakefile
--- a/doc-src/Codegen/IsaMakefile	Wed Sep 22 10:02:39 2010 +0200
+++ b/doc-src/Codegen/IsaMakefile	Wed Sep 22 11:46:28 2010 +0200
@@ -26,7 +26,7 @@
 $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
 	@$(USEDIR) -m no_brackets -m iff HOL-Library Thy
 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
-	 Thy/document/pdfsetup.sty Thy/document/session.tex
+	  Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean