On Tue, Apr 11, 2006 at 06:33:21PM +0200, Pierre Albarede wrote:
> Debian install-info 1.10.21.  Copyright (C) 1994,1995
[...]
> cp: /usr/local/info/dir/dir: No such file or directory

I checked this version of install-info, and it doesn't implement the
--dir-file=FOO option correctly.  It treats it as an alias for
--info-dir when the former should require trailing /dir that the
latter does not want.

I've fixed the problem by switching over to using the --info-dir option
with the "/dir" suffix removed.  It would appear that the GNU version
and the Debian version both treat this option properly.

Thanks for pointing out the problem!

..wayne..