src/HOL/IsaMakefile
changeset 12410 ef373ec6ade8
parent 12396 2298d5b8e530
child 12432 90b0fc84f8d9
--- a/src/HOL/IsaMakefile	Thu Dec 06 16:05:06 2001 +0100
+++ b/src/HOL/IsaMakefile	Thu Dec 06 17:15:53 2001 +0100
@@ -106,7 +106,7 @@
   Wellfounded_Relations.thy arith_data.ML blastdata.ML cladata.ML \
   document/root.tex equalities.ML hologic.ML meson_lemmas.ML mono.ML \
   simpdata.ML subset.ML thy_syntax.ML
-	@$(ISATOOL) usedir -b $(OUT)/Pure HOL
+	@$(ISATOOL) usedir -b -g true $(OUT)/Pure HOL
 
 
 ## HOL-Real