%html-ext%
PrevNext

Name

%html-ext% — Default extension for HTML output files

Synopsis

%html-ext%

Description

The default extension for HTML output files.

Source Code

(define %html-ext% 
  ;; Default extension for HTML output files
  ".htm")

PrevHomeNext
%graphic-extensions%Up%html-header-tags%
 
 

Copyright © 1997, 1998 Norman Walsh