Sender:	rich AT delorie DOT com
Message-ID:	<38F22E47.9237245B@bigfoot.com>
Date:	Mon, 10 Apr 2000 20:40:55 +0100
From:	Richard Dawe <richdawe AT bigfoot DOT com>
X-Mailer:	Mozilla 4.51 [en] (X11; I; Linux 2.2.14 i586)
X-Accept-Language:	de,fr
MIME-Version:	1.0
To:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
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
References:	<Pine DOT SUN DOT 3 DOT 91 DOT 1000410085156 DOT 19649R-100000 AT is>
Reply-To:	djgpp-workers AT delorie DOT com

Hello.

Eli Zaretskii wrote:
> I understand that we need to draw the line somewhere, the question is
> where.

Indeed.

> > Why is putting these install-info commands in the DSM error-prone?
> 
> Because the command line will be written by humans, and humans tend to
> err.  OTOH, the command itself is so standard that it cries for
> automation:
> 
>   install-info --info-dir=/dev/env/DJDIR/info --info-file=<package>

I take it that install-info can handle .info, .inf file extensions. What
should we do when there are multiple info files in the package? If it's
this simple, then I'm persuaded.

> Is it worth to duplicate what the Texinfo manual already says?

No, probably not - an xref would do. I just prefer HTML documentation
(quicker to navigate for me), and cross-linking fails in this case, so I
would have needed to add the appropriate instructions.

Bye,

-- 
Richard Dawe
richdawe AT bigfoot DOT com ICQ 47595498 http://www.bigfoot.com/~richdawe/

- Raw text -