structure Autodoc :> AUTODOC_CONFIG = struct val htmlHeader = fn title => String.concat ["
\n
\n\n

", title, "

\n
"] val htmlFooter = "
" val stylesheet = "/hcoop.css" end