%html-pubid%
PrevNext

Name

%html-pubid% — What public ID are you declaring your HTML compliant with?

Synopsis

%html-pubid%

Description

The public ID used in output HTML files.

Source Code

(define %html-pubid%
  ;; What public ID are you declaring your HTML compliant with?
  "-//W3C//DTD HTML 4.0 Transitional//EN")

PrevHomeNext
%html-manifest%Up%linenumber-length%
 
 

Copyright © 1997, 1998 Norman Walsh