Bug#594384: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index

2012-10-26 Thread Guo Yixuan
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

Bug#594384: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index

2012-10-26 Thread Guo Yixuan
Control: tag -1 + pending Fixed in this commit[1]. [1] http://anonscm.debian.org/gitweb/?p=users/yixuan-guest/gcc-doc.git;a=commitdiff;h=fb2e9fc8092581fd390dd65a685f8a318e2460e5;hp=c51097f262eb9d2af1b2da9e471c97587d4bf8e8 Cheers, Guo Yixuan signature.asc Description: Digital signature

Bug#594384: gnat-4.4-doc: gnat_rm appears with the wrong version number in the top-level info index

2010-08-25 Thread Alan W. Irwin
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