Re: Bug in many .texi files
"Stephen J. Turnbull" <turnbull(a)sk.tsukuba.ac.jp> writes:
The real problem is (if I understand correctly) node names of the
form
"Sugar, spice, and everything nice" will be truncated to "Sugar" by
Yoshiki's patch, and probably not referenced correctly. Is that true?
Yes. But IIRC, Texinfo doesn't allow comma and period in
node names so stopping at first dot or comma is the right
thing to do. I think stand alone Info reader behaved like
that but I might be wrong since I haven't read source code
for a long time.
If so, Yoshiki's patch should not be applied, and we should fix
the
Texinfo sources instead. (I can see easy workarounds for uses of
period in node names, but not for this use of comma.)
The only thing we can do is just to pray every Texinfo file
authors write them right and to hope we can some day get rid
of Info format. ;-)
--
Yoshiki Hayashi