Hi Antonio, could you have a look into the following Debian bug report?
Thanks Martin -- Martin Zobel-Helas <zo...@debian.org> | Debian System Administrator Debian & GNU/Linux Developer | Debian Listmaster GPG key http://go.debian.net/B11B627B | GPG Fingerprint: 6B18 5642 8E41 EC89 3D5D BDBB 53B1 AC6D B11B 627B
--- Begin Message ---Package: ed Version: 1.6-2 Severity: minor File: /usr/share/info/ed.info.gz My semi-automatic info xref checker noticed a dodgy link in ed.info "Introduction to Line Editing" node ... shell `sh' (*note Bash: (bash)Bash.) probably should be (bash)Top to go to the start of the manual. There's no node "Bash" in the bash manual, info-mode "Ret" gives No such node or anchor: Bash -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (990, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.32-5-486 Locale: LANG=en_AU, LC_CTYPE=en_AU (charmap=ISO-8859-1) Shell: /bin/sh linked to /bin/dash Versions of packages ed depends on: ii dpkg 1.16.4.2 ii install-info 4.13a.dfsg.1-10 ii libc6 2.13-10 ed recommends no packages. ed suggests no packages. -- no debconf information
--- End Message ---
_______________________________________________ bug-ed mailing list bug-ed@gnu.org https://lists.gnu.org/mailman/listinfo/bug-ed
