diff -r 98af3693f6b3 -r aed221aff642 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Apr 20 14:18:33 2005 +0200
+++ b/src/HOL/IsaMakefile	Wed Apr 20 16:03:17 2005 +0200
@@ -119,7 +119,7 @@
  Tools/ATP/recon_transfer_proof.ML Tools/ATP/res_clasimpset.ML \
  Tools/ATP/VampireCommunication.ML Tools/ATP/SpassCommunication.ML Tools/ATP/modUnix.ML  \
  Tools/ATP/watcher.sig Tools/ATP/watcher.ML   Tools/res_atp.ML\
-  document/root.tex hologic.ML simpdata.ML thy_syntax.ML
+  ##document/root.tex hologic.ML simpdata.ML thy_syntax.ML
 	@$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL