Date: Tue, 25 Aug 1998 15:02:38 +0300 (IDT) From: Eli Zaretskii To: "Peter J. Farley III" cc: djgpp AT delorie DOT com Subject: Re: ".inf" vs ".info" in djdev201.zip "info/dir" file In-Reply-To: <35e0c4a8.13031195@news1.banet.net> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Precedence: bulk On Mon, 24 Aug 1998, Peter J. Farley III wrote: > >There's no discrepancy. Info should cope with any of these names. If > >it doesn't please describe the specific case where it fails. > > OK, try "flex.inf" in the djdev201 "dir" file. After flex (from > flx254b.zip) installs "flex.info", pressing enter when at the "Flex: > (flex.inf)." line gives the error message "flex.inf: No such file or > directory (ENOENT)". You didn't tell you were going through DIR. I thought you were invoking Info like this: info -f flex This should work (in version 3.12) no matter whether you have flex.inf or flex.info. As to your problem, its cause is a combination of 2: 1) The stock DIR distributed with DJGPP v2.01 is not safe in the LFN environment. All the .inf and .info extensions should *not* appear in it literally. Just remove all the extensions, leaving, e.g. "Flex: (flex).", and it will work. (DJGPP v2.02 removes all those extensions.) 2) You are working on Windows 9X, but you haven't turned off the numeric tails. If the numeric tails were disabled, the short name of flex.info would be flex.inf, and Info would find it. Right now, you probably have flex~1.inf or something.