# HG changeset patch
# User regensbu
# Date 826631996 -3600
# Node ID b4aced335d9438951ea9248bd68e888c39246999
# Parent  fd1b9c721ac714e1fd5fec16664ca3db28b1a8d0
added ' make_html:=false;' to end of ROOT file

diff -r fd1b9c721ac7 -r b4aced335d94 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*)