src/HOLCF/ROOT.ML

--- a/src/HOLCF/ROOT.ML	Mon Mar 11 23:59:22 1996 +0100
+++ b/src/HOLCF/ROOT.ML	Tue Mar 12 12:59:56 1996 +0100
@@ -39,5 +39,6 @@
 init_pps ();
 
 print_depth 100;  
+make_html:=false;
 
 val HOLCF_build_completed = (); (*indicate successful build*)