Re: Broken makeinfo? [was: Re: Fix this]
"Stephen J. Turnbull" <turnbull(a)sk.tsukuba.ac.jp> writes:
>>>>> "mb" == Martin Buchholz
<martin(a)xemacs.org> writes:
mb> You must be using some old broken makeinfo.
C'mon, old != broken. The question is, how many "old makeinfos" are
out there, and how many of them are going to get tickled by that
construct?
Well, I am using the makeinfo that comes with the latest SuSE
Linux-distribution (6.3) and apparently that one is too old since I am
affected by this very problem. So my guess would be that there are
quite a few "old makeinfos" out there.
Kai