[Added HTML]

Document Title                    : TECO manual
HTML Script file                  : (none)
HTML header file                  : (none)
HTML footer file                  : (none)
HTML fragments file               : html_fragments.inc
Background Image                  : (none)


[Hyperlinks]

Create mailto links               : No
Create NEWS links                 : No


[File generation]


Split level                       : 1 
Min HTML file size                : 8 
Minimise HTML file size           : Yes


[Directory Page]

Make Directory                    : No
Directory filename                : (none)


[Style]

Document Style Sheet              : teco.css
Highlight Definition Text         : Yes