Date: Wed, 24 Jun 1998 17:52:20 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: "Salvador Eduardo Tropea (SET)" <salvador AT inti DOT gov DOT ar>
cc: djgpp AT delorie DOT com
Subject: Re: Int2TeX v1.00 was released
In-Reply-To: <m0yopYA-000S3xC@inti.gov.ar>
Message-ID: <Pine.SUN.3.91.980624175118.24854D-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On Wed, 24 Jun 1998, Salvador Eduardo Tropea (SET) wrote:

> > This causes makeinfo to NOT use the .info extension and instead produce
> > intinf-1, intinf-2, ..., intin-99, inti-100, etc.  And then you compress
> > them into intinf-1.gz etc., which info.exe should grok.  If that doesn't
> > work, it's a bug in makeinfo or in info, so please tell me. 
> 
> It seems to work OK, I never noticed this feature.

It is there since Texinfo 3.9.  I need to make sure it's in the docs, 
though...