Documented options:
--tabstops --documenttitle --headertypes --altlatex --latexparts --syntaxcolors --dotname
Authored by: thuffir 2006-07-28
Parent: [r501]
Child: [r503]
