Next / Previous / Contents / Shipman's homepage

6.8. XML_EXTENSION

Extension for the all-in-one output file.

nomcompile3
XML_EXTENSION = ".xml"