18.4.2.6 Assigning a default title

To specify a default title for any otherwise untitled HTML page:

[HTMLOptions]

;Title = default title for HTML files,

;  overridden by all other settings

Title=My default page title

Titles specified any other way override the value assigned to Title.

Note:  If you do not specify a value for Title, the title of any otherwise untitled HTML page in your output is Test File from Mif2Go.

---