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

", title, "

\n"] val htmlFooter = "" end