> From: dcalford [mailto:dcalford@...]

Hi,

> Use groff (comes with most Linux distributions) to export the
> files to HTML
> The HTML will have alot of bad formating codes in it. Instead of
> trying to
> edit the codes, I did a select/cut/paste into a text editor, then
> re-converted it to HTML.

Done that, but I happen to know the maintainer of groff <g>, and we are half
way through getting them into fully formatted PDF files. We have just come
across a couple of non-standard font formatting options we are trying to
identify.

Of course they will be published, if legal?

Cheers

Phil