Re: Making HTML more wysiwyg

[John L. Clark]

On Fri, Mar 09, 2001 at 04:27:08PM -0500, John L. Clark wrote:
> The attached patch adds support in our HTML exporter for our margin
> sizes and "hitting enter twice to add a new line", which while a
> horrendous behaviour, is still used by everyone, including everyone who
> wrote our docs in .../abi/docs.  :)

And now here is one in the correct coding style.

Take care,

        John

html_update.diff.gz