Well, it seems dpkg's install-info (in /usr/sbin/install-info) is not used anymore in Debian now, making bugs #139569 and #411722 (and a few others) obsolete and #9771 essentially closed?
Actually, maybe dpkg's install-info should be removed completely? Thereby closing all the bugs against it? Or at least renamed, I must confess that I'm not comfortable with having both /usr/sbin/install-info and /usr/bin/install-info be two different implementations that behave differently. That is laying a "trap" for our users, where depending on their $PATH they suddenly get different behaviour, it can be tricky for them to debug the problem... Possibly that is your plan, but you are waiting for a few hardcoded calls to /usr/sbin/install-info to disappear, but I didn't see this in the various bug reports. -- Lionel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
