--- 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*)