Move more bind config into domtool, remove hardcoded /var/domtool references
[hcoop/domtool2.git] / configDefault / autodoc.csg
CommitLineData
3196000d
AC
1signature AUTODOC_CONFIG = sig
2
3val htmlHeader : string -> string
4val htmlFooter : string
7d5aaf7b 5val stylesheet : string
3196000d
AC
6
7end