--- a/doc-src/System/Thy/ROOT.ML Mon Jun 27 17:51:28 2011 +0200
+++ b/doc-src/System/Thy/ROOT.ML Mon Jun 27 22:20:49 2011 +0200
@@ -1,4 +1,1 @@
-Thy_Output.source_default := true;
-use "../../antiquote_setup.ML";
-
use_thys ["Basics", "Interfaces", "Presentation", "Misc"];