vchoi_fork

[svn-r8257] 
Purpose:
    Add one tag for HTMLdoc that affects the first page of the
    next file's output (Tools).

Platforms tested:
    IE 5, HTMLdoc