%html-ext%
The default extension for HTML output files.
(define %html-ext% ;; Default extension for HTML output files ".htm")
Copyright © 1997, 1998 Norman Walsh