param to allow people to customize the html put in the <HEAD> portion of generated documents. Also, a few other minor patches. git-svn-id: svn://10.0.0.236/trunk@29439 18797224-902f-48f8-a5cc-f745e15eee43
param to allow people to customize the html put in the <HEAD> portion of generated documents. Also, a few other minor patches. git-svn-id: svn://10.0.0.236/trunk@29439 18797224-902f-48f8-a5cc-f745e15eee43