Date:	Tue, 11 Apr 2000 13:26:32 +0200 (IST)
From:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender:	eliz AT is
To:	Richard Dawe <richdawe AT bigfoot DOT com>
cc:	Laurynas Biveinis <lauras AT softhome DOT net>,
	DJGPP Workers <djgpp-workers AT delorie DOT com>,
	Zippo Workers <zippo-workers AT egroups DOT com>
Subject:	Re: DJGPP library DSMs
In-Reply-To:	<38F22E47.9237245B@bigfoot.com>
Message-ID:	<Pine.SUN.3.91.1000411132612.4929J-100000@is>
MIME-Version:	1.0
Reply-To:	djgpp-workers AT delorie DOT com
Errors-To:	nobody AT delorie DOT com
X-Mailing-List:	djgpp-workers AT delorie DOT com
X-Unsubscribes-To:	listserv AT delorie DOT com

On Mon, 10 Apr 2000, Richard Dawe wrote:

> >   install-info --info-dir=/dev/env/DJDIR/info --info-file=<package>
> 
> I take it that install-info can handle .info, .inf file extensions.

No, it needs the name with the .info extension.  But since you know
the contents of the package, you know the exact name of the Info file
(usually <package>.info).

> What should we do when there are multiple info files in the package?

You should run install-info on every one of the Info files.  The
simplest approach would be to run install-info on every file that
shall be unzipped into the info directory and which either matches the
"*.inf*" wildcard or does not have an extension.

- Raw text -