John Fieber 63f3fa9182 Wire up the new sgmlfmt options.		1996-10-06 00:08:28 +00:00
..
mk	Wire up the new sgmlfmt options.	1996-10-06 00:08:28 +00:00