configDefault/autodoc.cfg

   1 structure Autodoc :> AUTODOC_CONFIG = struct
   2
   3 val htmlHeader = fn title =>
   4                     String.concat ["<html><head><title>",
   5                                    title,
   6                                    "</title><body><h1>",
   7                                    title,
   8                                    "</h1>\n"]
   9
  10 val htmlFooter = "</body></html>"
  11
  12 end