# HG changeset patch
# User haftmann
# Date 1232177331 -3600
# Node ID f83dcdcee6b31440b786e646b5e29d47e1c6acdc
# Parent  fc20414d4aa8bea5e20e71c4b3eb7b5d95c3c4f4
no document for HOL-Base

diff -r fc20414d4aa8 -r f83dcdcee6b3 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jan 16 15:19:10 2009 +0100
+++ b/src/HOL/IsaMakefile	Sat Jan 17 08:28:51 2009 +0100
@@ -112,7 +112,7 @@
   $(SRC)/Provers/splitter.ML \
 
 $(OUT)/HOL-Base: base.ML $(BASE_DEPENDENCIES)
-	@$(ISABELLE_TOOL) usedir -b -f base.ML -g true $(OUT)/Pure HOL-Base
+	@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base
 
 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\
   Datatype.thy \