set xmlextension= ext

This command specifies the extension to use for newly saved XML files. xml is the default. The Save As dialog box and save_as command add this extension if the specified file does not already have an extension and the -xmlextension option is non-null.

A period should not be included as part of the extension.

Examples