Bug#870439: refresh Texinfo version

[積丹尼 Dan Jacobson]

Package: gv
Version: 1:3.7.4-1+b1
X-Debbugs-CC: address@hidden, address@hidden, Eli Zaretskii <address@hidden>


>>>>> "EZ" == Eli Zaretskii <address@hidden> writes:
>> From: 積丹尼 Dan Jacobson <address@hidden>
>> Cc: address@hidden
>> Date: Wed, 26 Jul 2017 08:06:37 +0800
>> 
>> All I know is if I do
>> (info "(gv) Top")^X^E
>> i RET
>> I end up on
>> (info "(gv) GNU General Public License")
>> here on Debian,
>> gv:
>> Installed: 1:3.7.4-1+b1
>> emacs25:
>> Installed: 25.2+1-2

EZ> That's because gv.info was produced with makeinfo 4.8, which had a
EZ> bug: it would produce an Index entry even if the manual had no
EZ> indices.  There's this snippet near the end of gv.info in the gv
EZ> distribution:

EZ>   address@hidden@^H]
EZ>   * Menu:

EZ> It shouldn't be there.  When I produce the GV manual using the latest
EZ> makeinfo 6.4, this part is not generated.

EZ> IOW, you should report this bug to the GV maintainers: they should
EZ> refresh their Texinfo version.