gawk-5.3.1-1 installs a file in the info dir that isn't an info file

[TheSin-]

install-info: warning: no info dir entry in `/opt/sw/share/info/gawk_statist.jpg'

[nieder]

FWIW, Ubuntu has images in their share/info directory too, from the gawk-doc package: https://packages.ubuntu.com/plucky/all/gawk-doc/filelist

Or is the problem that it's OK to have them, but need to be registered in InfoDocs: ?

[dmacks]

It's our texinfo being old. We have 6.8, debian has 7.1.1. But more relevantly, bin/update-info-dir is a debian script we borrowed from their packaging, and it has a relevant change: debian-tex/texinfo@0435901

[nieder]

Do we then 1) upgrade our texinfo, or 2) patch it?

[nieder]

I went for the upgrade texinfo path in #1203

[dhomeier]

With Texinfo 7.2 I now see an (apparently non-critical)

Warning: install-info called found in dpkg scripts, please avoid this as Triggers in install-info will already do this for you.