Bug#484740: some cross references don't work as info search files without .info extension
Package: info
Version: 4.11.dfsg.1-4
Severity: normal
In the mpfr.info manual, there's now a cross reference to libtool.
Unfortunately, when I want to read this info file without copying
somewhere else, this cross reference doesn't work. A strace shows:
stat("./libtool.info", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.info.gz", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.info.bz2", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.info.z", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.info.Z", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.info.Y", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool-info", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool-info.gz", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool-info.bz2", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool-info.z", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool-info.Z", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool-info.Y", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool/index", 0x7fff543c0b20) = -1 ENOTDIR (Not a directory)
stat("./libtool/index.gz", 0x7fff543c0b20) = -1 ENOTDIR (Not a directory)
stat("./libtool/index.bz2", 0x7fff543c0b20) = -1 ENOTDIR (Not a directory)
stat("./libtool/index.z", 0x7fff543c0b20) = -1 ENOTDIR (Not a directory)
stat("./libtool/index.Z", 0x7fff543c0b20) = -1 ENOTDIR (Not a directory)
stat("./libtool/index.Y", 0x7fff543c0b20) = -1 ENOTDIR (Not a directory)
stat("./libtool.inf", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.inf.gz", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.inf.bz2", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.inf.z", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.inf.Z", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool.inf.Y", 0x7fff543c0b20) = -1 ENOENT (No such file or directory)
stat("./libtool", {st_mode=S_IFREG|0755, st_size=211017, ...}) = 0
stat("./libtool", {st_mode=S_IFREG|0755, st_size=211017, ...}) = 0
open("./libtool", O_RDONLY) = 3
because there's a libtool script in the MPFR build directory, while
the correct libtool info file is there:
/usr/share/info/libtool.info.gz
To avoid such a clash with other files, I think that info should check
the format of the file (at least when the extension is not ".info"),
and if it is not an info file, resume the search.
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.25.4-20080521 (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=POSIX, LC_CTYPE=en_US.ISO8859-1 (charmap=ISO-8859-1)
Shell: /bin/sh linked to /bin/bash
Versions of packages info depends on:
ii libc6 2.7-12 GNU C Library: Shared libraries
ii libncurses5 5.6+20080531-1 Shared libraries for terminal hand
info recommends no packages.
-- no debconf information
Reply to: