+ val title = "Domtool Module Index"
+
+ val items = map (fn file =>
+ let
+ val file' = modify file
+ val (desc, _, _) = Parse.parse file
+ in
+ LI {ty = NONE,
+ value = NONE,
+ content = BlockList
+ [TextBlock (A {name = NONE,
+ href = SOME (file' ^ ".html"),
+ rel = NONE,
+ rev = NONE,
+ title = NONE,
+ content = PCDATA (uppercase file')}),
+ TextBlock (PCDATA (Option.getOpt (desc, "")))]}
+ end) infiles
+
+ val index = HTML {version = NONE,
+ head = [Head_TITLE title,
+ Head_LINK {id = NONE,
+ href = SOME Config.Autodoc.stylesheet,
+ rel = SOME "stylesheet",
+ rev = NONE,
+ title = NONE}],
+ body = BODY {background = NONE,
+ bgcolor = NONE,
+ text = NONE,
+ link = NONE,
+ vlink = NONE,
+ alink = NONE,
+ content = BlockList[TextBlock (PCDATA (Config.Autodoc.htmlHeader title)),
+ TextBlock (BR {clear = SOME TextFlowCtl.all}),
+ UL {ty = NONE,
+ compact = false,
+ content = items},
+ TextBlock (PCDATA Config.Autodoc.htmlFooter)]}}
+