Using a different file extension
It might be convenient to use a different file extension than HTML for your published files if, as an example, the output files are associated with a specific application.
Changing the output file extension
To change the output file extension, follow these steps.
- Select the Publishing tab page;
- On the General sub tab, type the desired extension in the text box at the right of the Add Extension check box.
This file extension is assigned to the output files during the publishing process.