tags 284991 unreproducible thanks Hello,
On Thu, Dec 09, 2004 at 03:16:24PM -0800, Ross Boylan wrote: > > The man page says > > --infodir=infodir > Specifies that the dir file is, and the installed copy of the > new Info file was, is or will be located in infodir. The > default is /usr/info. > > I used it with --infodir=/usr/local/share/info/, that directory having > no dir file, though it had the info file I was registering. > > The dir file in /usr/share/info was updated despite the description > above saying the dir file in the directory I gave it would be updated. I'm not able to reproduce this behavior with either dpkg 1.10.28 or 1.13.18 Executing the following command: install-info --infodir=/tmp /usr/info/coreutils.info.gz Installed created a dir file in /tmp and did not touched the dir file from /usr/share/info/ Can you try with a recent version? (or indicate what command fails) > I also assume the default on Debian is /usr/share/info (though > /usr/info does link there). This is still true. I will update the man page. Thanks. Kind Regards, -- Nekral -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
