diff -r 6c0d02f416ba -r 2fffd5ac487f doc-src/Codegen/IsaMakefile
--- a/doc-src/Codegen/IsaMakefile	Mon Aug 16 10:54:08 2010 +0200
+++ b/doc-src/Codegen/IsaMakefile	Mon Aug 16 11:18:28 2010 +0200
@@ -24,7 +24,7 @@
 Thy: $(THY)
 
 $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
-	@$(USEDIR) HOL Thy
+	@$(USEDIR) -m no_brackets -m iff HOL Thy
 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
 	 Thy/document/pdfsetup.sty Thy/document/session.tex