Date: Sun, 23 Aug 1998 17:30:05 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: "Peter J. Farley III" <pjfarley AT banet DOT net>
cc: djgpp AT delorie DOT com
Subject: Re: ".inf" vs ".info" in djdev201.zip "info/dir" file
In-Reply-To: <35dce8e7.11682250@news1.banet.net>
Message-ID: <Pine.SUN.3.91.980823172946.1451l-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On Fri, 21 Aug 1998, Peter J. Farley III wrote:

> In trying to use info to research some command-line options
> for utilities, I discovered that the "dir" file as delivered in the
> djdev201.zip package (almost) consistantly uses an extension of ".inf"
> (texinfo itself is the only exception, it has no extension at all),
> while the following packages install info files with an extension of
> ".info":

This is correct.  Some packages use .inf, others use .info, and still
others don't have an extension at all.  The reasons are mostly
historical.  Is there a problem somewhere with these extensions?
AFAIK, all of them should work, at least in the latest release of
Texinfo 3.12.

> I am willing to figure out how to use "install-info" from the texinfo
> docs, but is there a later version of the "dir" file that reflects
> this discrepancy in file naming conventions between info and the
> various packages?

There's no discrepancy.  Info should cope with any of these names.  If
it doesn't please describe the specific case where it fails.