Options - 'Documentation Options' Tab

This will give you the opportunity to add some relevant informations to your HTML files.

You can add

• an user defined string,
• the current system date
• the current system time
• the used formatting style
• and the Pretty HTML version number.

This information line will be inserted as a comment on top of the file.

You can include this line only in formatted or compressed files, or both.
Enable a some options, then click "Preview" and you will see what it does...