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

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...

- Raw text -