Follow-up Comment #3, bug #8218 (project texinfo):
this should be fixed in texi2html. When there is a `@ ' at the end of a
string, the number of @ preceding the `@ ' are counted and if they are an odd
number, the space is kept.
I also tried to improve similar 'protections' of characters by @-commands,
like @: @, @<TAB> @; where the characters : , <TAB> means something (mostly in
@node and menu entries).
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?8218>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
