Date: Tue, 11 Feb 2003 20:16:32 +0100
To: djgpp-workers AT delorie DOT com
Subject: Re: info/dir creation patch
Message-ID: <20030211191632.GC4696@sprite.fr.eu.org>
Mail-Followup-To: djgpp-workers AT delorie DOT com
References: <10302042008 DOT AA21143 AT clio DOT rice DOT edu> <Pine DOT SUN DOT 3 DOT 91 DOT 1030205083149 DOT 15128J AT is>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <Pine.SUN.3.91.1030205083149.15128J@is>
User-Agent: Mutt/1.5.3i
From: Jeremie Koenig <sprite AT sprite DOT fr DOT eu DOT org>
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
Precedence: bulk

On Wed, Feb 05, 2003 at 08:37:05AM +0200, Eli Zaretskii wrote:
> This reminds me: I think we should make sure our *.texi/*.tex/*.txi 
> source files have proper @dircategory and @direntry directives in them, 
> even if we don't use install-info (because some user could wish to do 
> that).

Well, i'm just facing this problem as i'm trying to package djgpp for
debian.. This issue can be fixed by calling install-info with the
appropriate options, however.

-- 
Jeremie Koenig <sprite AT sprite DOT fr DOT eu DOT org>