On 2016-02-26 16:58:52 +0000, Gavin Smith wrote: > On 25 February 2016 at 23:09, Vincent Lefevre <vinc...@vinc17.net> wrote: > > Under Debian/unstable, when I type "info automake", I get the man page > > (default fallback) instead of the GNU Automake manual. > > > > The Debian package 6.0.0.dfsg.1-1 is also buggy, but 5.2.0.dfsg.1-6 > > is OK (e.g. after downgrading to this version). > > I can't reproduce this, unfortunately, with the most recent > development version. > > The dir entry is "Automake", so does "info Automake" work?
Yes. > Do you have any problems with any other manuals? No, but they don't have a version number, or there is a symlink to the file with the version number, e.g. for cpp: -rw-r--r-- 1 root root 72348 2015-05-01 22:57:51 cpp-4.9.info.gz lrwxrwxrwx 1 root root 15 2015-05-05 22:52:55 cpp.info.gz -> cpp-4.9.info.gz For automake, there's just: -rw-r--r-- 1 root root 3206 2016-02-13 22:03:15 automake-1.15.info.gz > > The /usr/share/info/dir file contains: > > > > * automake-invocation: (automake-1.15)automake Invocation. > > * Automake: (automake-1.15). Making GNU standards-compliant Makefiles. > > > > in both cases, in case this matters (according to strace, this file > > is read in both cases). > > Are there any other lines in that file containing "automake" or "Automake"? $ grep -i automake /usr/share/info/dir * aclocal-invocation: (automake-1.15)aclocal Invocation. * automake-invocation: (automake-1.15)automake Invocation. * Automake: (automake-1.15). Making GNU standards-compliant Makefiles. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)