Public bug reported: Most of the cross-references between the Info-format versions of gnat's manuals are broken, since they do not account for the fact that the Info files have been renamed to allow multiple versions of the manuals to be installed at the same time.
The relevant patch is debian/patches/rename-info-files.diff ** Affects: gnat-4.4 (Ubuntu) Importance: Undecided Status: New ** Affects: gnat-4.6 (Ubuntu) Importance: Undecided Status: New ** Affects: gnat-4.4 (Debian) Importance: Unknown Status: Unknown ** Also affects: gnat-4.4 (Ubuntu) Importance: Undecided Status: New ** Bug watch added: Debian Bug tracker #594384 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=594384 ** Also affects: gnat-4.4 (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=594384 Importance: Unknown Status: Unknown ** Package changed: gnat-4.4 (Debian) => debian -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/971790 Title: gnat's info files have a number of broken references To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnat-4.4/+bug/971790/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs