Hi, Bug #9771 complains about a name-collision between gnu install-info and dpkg install-info. My system is lacking the gnu version. Does it appear anywhere in a debian package, and if not, where can I get hold of a copy? Matthew