[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Groff] Re: groff_font.man update
From: |
Werner LEMBERG |
Subject: |
[Groff] Re: groff_font.man update |
Date: |
Sat, 29 Jan 2000 01:10:48 GMT |
> 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