Date: Tue, 31 Mar 1998 11:26:05 +0300 (IDT) From: Eli Zaretskii To: root AT flying-brick DOT caverock DOT net DOT nz cc: djgpp AT delorie DOT com Subject: Re: flex info problem In-Reply-To: <352087dc.flying-brick@flying-brick.caverock.net.nz> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Precedence: bulk On Tue, 31 Mar 1998, Eric Gillespie wrote: > on, I just thought of something - the user concerned could check for a > match up between what is in the dir file and what the filename is. > I.e. * Flex: (flex.inf) should probably be flex.inf in the info > directory rather than flex.info - has the problem been rectified yet? AFAIK, there is no problem: Info will find both of them (on LFN platforms).