diff -r 200565f7592a -r a5a42ff18a40 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Fri Apr 25 15:18:58 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Fri Apr 25 15:24:07 1997 +0200
@@ -28,7 +28,7 @@
         domain/theorems.ML domain/extender.ML domain/interface.ML
 
 $(OUT)/HOLCF: $(OUT)/HOL $(FILES)
-	@$(ISATOOL) usedir -b -c $(OUT)/HOL HOLCF
+	@$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
 	@chmod -w $@
 
 $(OUT)/HOL: