Basic HTML documentation generation

[hcoop/domtool2.git] / configDefault / autodoc.csg

diff --git a/configDefault/autodoc.csg b/configDefault/autodoc.csg
new file mode 100644 (file)
index 0000000..023a749
--- /dev/null
+++ b/configDefault/autodoc.csg
@@ -0,0 +1,6 @@
+signature AUTODOC_CONFIG = sig
+
+val htmlHeader : string -> string
+val htmlFooter : string
+
+end