[Groff] Re: groff_font.man update

[Werner LEMBERG]

> Here are the manual page groff_font.man diffs and a couple
> of grohtml bug fixes. I've also introduced a comment delimiter
> in the font files, documented in groff_font.man. I've taken
> the liberty of adding this comment structure to devps
> which I believe are the only font files which use comments,
> so far? I thought it better to have an explicit comment delimiter
> as the character encoding (used in devhtml) is optional and thus
> the current code had no way of knowing which words are comments
> and which are char encoding etc.
> 
> Do these changes meet with approval?

They do :-)  I've applied your patches to the repository.  Thanks a
lot.


     Werner