\Configure{PROLOG}.........1  
 
   #1 Comma separated list of hooks to appear before HTML.  
 
      Each hook E is declared to be configurable by an  
      instruction of the form \NewConfigure{E}{1}  
 
      A star ’*’ prefix calls for accumulative configurations  
 
   Example:  
 
      \Configure{PROLOG}{VERSION,DOCTYPE,*XML-STYLESHEET}  
      \Configure{VERSION}  
         {\HCode{<?xml version="1.0"?>}}  
 
\Configure{ext}............1  
 
   #1: default extension name for target files  (recorded in \:html)  
 
   Can also be requested through a command line option ext=...  
 
\Preamble...................0  
 
   Records the list of the requested options.  Defined upon entering  
   the environment \Preamble{...}....\EndPreamble, to replace the  
   earlier version of \Preamble.  
 
\ifOption ................. 3  
 
   #1  Argument to be checked  wheteher it is a given option.  
   #2  True part  
   #3  False part