%html-pubid%
The public ID used in output HTML files.
(define %html-pubid% ;; What public ID are you declaring your HTML compliant with? "-//Norman Walsh//DTD DocBook HTML 1.0//EN")