[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNU info: bug: menu & iso-8859-2 chars problem
From: |
Mirsad Todorovac |
Subject: |
Re: GNU info: bug: menu & iso-8859-2 chars problem |
Date: |
Thu, 10 Jan 2002 15:43:28 +0100 (MET) |
On Wed, 9 Jan 2002, Eli Zaretskii wrote:
> Not really; it was a tricky problem (the bug was in code that
> subdivided the text into lines, not even close to the place where the
> visible problem happened).
>
> But thanks for your kind words, anyway.
No, I mean it. Really.
> > OK, thanks. But the real advantage will show up when this change will
> > propagate to next release of info, so all prospective readers of
> > GNU Pascal (and all other!!) translated docs will benefit from the fix :-)
>
> I think most popular systems don't expose this problem. But you are
> right, this should be in the next release.
Excellent.
> Thanks for reporting the problem and making it possible for me to
> debug it.
Not at all, not at all.
Rather, there's another issue:
Frank has mentioned another 'texinfo' problem - apparently
'makeinfo --html'
can't split generated HTML files automatically. In that case generated
HTML file for GPC documentation would be far too big to be still
practical, wouldn't it?
Is there a chance that a new release would address this deficiency???
Have a nice day,
Mirsad
Mirsad Todorovac address@hidden
CARNet, UNI-ZG, Croatia address@hidden
-------------------------------------------------------------------------
"Secularism is the opiate of the people." -- Stephen Baars
- GNU info: bug: menu & iso-8859-2 chars problem, Mirsad Todorovac, 2002/01/07
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Eli Zaretskii, 2002/01/09
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Mirsad Todorovac, 2002/01/09
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Eli Zaretskii, 2002/01/09
- Re: GNU info: bug: menu & iso-8859-2 chars problem,
Mirsad Todorovac <=
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Eli Zaretskii, 2002/01/10
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Mirsad Todorovac, 2002/01/10
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Eli Zaretskii, 2002/01/10
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Mirsad Todorovac, 2002/01/11
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Mirsad Todorovac, 2002/01/11
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Eli Zaretskii, 2002/01/11
- Re: GNU info: bug: menu & iso-8859-2 chars problem, Mirsad Todorovac, 2002/01/11