Sometimes, you may wish to add text to the top of every generated page.
You can do this by putting the text into a file, say top.html, and then
using the -beginpage option of tohtml:
tohtml -beginpage top.html ...Here top.html might contain
This material is a draft and should not be quoted<BR><HR>