Next / Previous / Contents / Shipman's homepage

10.6. INDEX_PAGE_NAME: Name of the index page

This string, with HTML_EXT appended, is the name of the page to be generated containing the index table.

noteweb
INDEX_PAGE_NAME  =  'field'