HOL_USEDIR_OPTIONS no longer applies to HOL-Plain (main HOL is rebuilt from Pure);
--- a/src/HOL/IsaMakefile Fri Sep 26 19:07:56 2008 +0200
+++ b/src/HOL/IsaMakefile Sat Sep 27 14:26:06 2008 +0200
@@ -180,7 +180,7 @@
$(SRC)/Tools/rat.ML
$(OUT)/HOL-Plain: plain.ML $(PLAIN_DEPENDENCIES)
- @$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
+ @$(ISATOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
$(OUT)/HOL: ROOT.ML $(PLAIN_DEPENDENCIES) \
Arith_Tools.thy \