Switch default web node from mire to navajos
[clinton/domtool2.git] / configDefault / autodoc.csg
1 signature AUTODOC_CONFIG = sig
2
3 val htmlHeader : string -> string
4 val htmlFooter : string
5 val stylesheet : string
6
7 end