Next / Previous / Contents / Shipman's homepage

10.5. HTML_EXT: File extension for XHTML pages

This string is appended to “yyyy-mm” month names to form the name of each generated monthly report page.

noteweb
HTML_EXT  =  '.html'