[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML node name improperly spaced
From: |
Karl Berry |
Subject: |
Re: HTML node name improperly spaced |
Date: |
Fri, 21 Mar 2003 15:42:56 -0500 |
The Texinfo to HTML formatting does not leave a proper space in the heading.
Here is an example:
Node:Chapter One
Well, that was intentional, but there was no deep reason, it just seemed
unnecessary to me and the original html patch did it that way :). It
will be easy enough to include a space.
Thanks,
karl