Hi, On Wed, Aug 25, 2010 at 11:24:36AM -0700, Alan W. Irwin wrote: > Package: gnat-4.4-doc > Version: 4.4.4.nf1-1 > Severity: normal > > > The issue is the top-level info index contains the following > entry: > > * GNAT Reference Manual: (gnat_rm-4.3). > > If you attempt to select that menu item by hitting the "enter" key the > result is the following error message > > gnat_rm-4.3: No such file or directory > > which is the expected result because that is the wrong version number. > > The actual gnat-related info files and symlinks are > > irwin@raven> ls -l /usr/share/info/gnat* > -rw-r--r-- 1 root root 14372 May 2 23:31 > /usr/share/info/gnat-style-4.4.info.gz > lrwxrwxrwx 1 root root 22 Aug 25 09:44 /usr/share/info/gnat-style.info.gz > -> gnat-style-4.4.info.gz > -rw-r--r-- 1 root root 176034 May 2 23:31 /usr/share/info/gnat_rm-4.4.info.gz > lrwxrwxrwx 1 root root 19 Aug 25 09:44 /usr/share/info/gnat_rm.info.gz -> > gnat_rm-4.4.info.gz > -rw-r--r-- 1 root root 305368 May 2 23:31 > /usr/share/info/gnat_ugn-4.4.info.gz > lrwxrwxrwx 1 root root 20 Aug 25 09:44 /usr/share/info/gnat_ugn.info.gz > -> gnat_ugn-4.4.info.gz
This bug is in an outdated patch, from-debian-gcc-rename-info-files.diff. > Because of those symlinks, I suggest the fix should be to drop that > version information completely from the top-level index, i.e., replace > the above with > > * GNAT Reference Manual: (gnat_rm). > > In fact, that is what is already done with > > * GNAT User's Guide: (gnat_ugn). The symlinks are provided by gnat-doc, not gnat-4.4-doc, so removing the version will break if user installed gnat-4.4-doc, without gnat-doc. Thus, it's better to go with correct version. > > Please note to trigger this bug you must actually try to use the menu > item as I have detailed above. The commands "info gnat_rm" (and "info > gnat_ugn") are not affected by the bug and therefore work fine. I'll try to fix this bug. Cheers, Guo Yixuan
signature.asc
Description: Digital signature
