diff -r 4ade5d1d369c -r 1358dc040edb src/CTT/ROOT.ML --- a/src/CTT/ROOT.ML Tue Oct 24 14:42:15 1995 +0100 +++ b/src/CTT/ROOT.ML Tue Oct 24 14:45:35 1995 +0100 @@ -23,4 +23,6 @@ use "../Pure/install_pp.ML"; print_depth 8; +make_chart (); (*make HTML chart*) + val CTT_build_completed = (); (*indicate successful build*)