signature AUTODOC_CONFIG = sig val htmlHeader : string -> string val htmlFooter : string end