Re: Bug#457741: Bug#460158: zsh-doc would not install
On Fr, 11 Jan 2008, Guillem Jover wrote:
> > I'd gladly fix install-info (until we manage to get rid of it that is :))
> > if someone could point me to relevant information.
>
> I don't think we should fix this in dpkg. I don't think it's a bug in
> install-info, otherwise installing any package from testing/unstable
> on etch will fail, like on a partial upgrade.
Sorry, but how do you come to this conclusion? Can you please explain?
Some facts:
- The texinfo manual nowhere states that a direntry must not have
leading spaces
- makeinfo till 4.8 (at least) did write the dir entry out without
leading spaces
- makeinfo from 4.11 on writes out the dir entry as present in the texi
file (see the original
- zsh seems to prefer leading spaces in the @direntry part
- Debian install-info uses a regexp that assumes that there are no
leading spaces
- GNU install-info doesn't have a problem with leading spaces
- changing the regexp seems quite trivial (although I didn't check for
any consequences)
So from these points I can loads deduce, but definitely not that this is
a bug in texinfo. It is SOLELY CONCERNED with the inability of Debian
install-info to read these .info file.
I will not start a re-assigning ping-pong game, but let it rot in the
BTS.
Hope that we will get rid of Debian i-i soon, the patches are already
included upstream.
Best wishes
Norbert
-------------------------------------------------------------------------------
Dr. Norbert Preining <preining@logic.at> Vienna University of Technology
Debian Developer <preining@debian.org> Debian TeX Group
gpg DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094
-------------------------------------------------------------------------------
PAPPLE (vb.)
To do what babies do to soup with their spoons.
--- Douglas Adams, The Meaning of Liff
Reply to: