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>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
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/