Control: retitle -1 info: buggy resolution of cross references (does not ignore non-info files that are in the way) Control: found -1 6.8-6 Control: found -1 7.2.92-1
This bug is still there in bookworm (see below), and it seems to have been fixed in trixie (current stable), i.e. in 7.1.1-1, and in 7.2-5, but it has reappeared in 7.2.92-1 (experimental)! On 2008-06-06 04:03:04 +0200, Vincent Lefevre wrote: > 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. Thanks to the MPFR source reorganization in 2010, the problematic condition can no longer occur in practice. However, I tried to reproduce this bug: 1. I copied the libtool script to the doc directory in the MPFR source tree, i.e. where mpfr.info can be found (to mimic the old file hierarchy). 2. In this doc directory: strace -o str.out -f info ./mpfr 3. /libtool to search for "libtool" in the MPFR manual. 4. Type [Enter] over "*note GNU Libtool: (libtool)Top". On a Debian/unstable machine, with info 7.2-5, the result is that the expected libtool info manual is found. Ditto if I install info 7.1.1-1+b1 (i.e. the version from trixie). The strace output shows that the libtool file (i.e. the script) is still read like before, but the search for the info file is resumed, so that the expected info file is found (in another directory of the info path). I suppose that the info utility now checks the format of the files it tries to open, and continue the search for an info manual until one is found. On a Debian 12 (bookworm) machine, with info 6.8-6+b1, the bug still occurs. The strace output shows that the "info" utility resumes the search on variants of the filename in the same directory, but if the libtool file is present, it does not try other directories in the info path, even though the libtool file in not in the info format. Ditto with info 7.2.92-1 from experimental. Note that the workaround I had mentioned at https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484740#34 (an explicit ".info" extension) had to be reverted because it was triggering a warning with "make info". -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
