Besides the basic commands mentioned in the previous sections, here are additional commands which affect the document as a whole. They are generally all given before the Top node, if they are given at all.
|• @documentdescription:||Document summary for the HTML output.|
|• @setchapternewpage:||Start chapters on right-hand pages.|
|• @headings:||An option for turning headings on and off and double or single sided printing.|
|• @paragraphindent:||Specify paragraph indentation.|
|• @firstparagraphindent:||Suppressing first paragraph indentation.|
|• @exampleindent:||Specify environment indentation.|