Date:	Wed, 24 Jun 1998 11:18:29 +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:	<m0yoVfZ-000S3zC@inti.gov.ar>
Message-ID:	<Pine.SUN.3.91.980624111557.23442C-100000@is>
MIME-Version:	1.0

On Tue, 23 Jun 1998, Salvador Eduardo Tropea (SET) wrote:

> I think it must be an optional thing, but it must be done by the converter. Is 
> almost impossible to do it by hand in 8+3 systems.

I think it is possible, see my other mail.

In fact, I think the converter should stop after it produces the Texinfo 
file, and not call either makeinfo or gzip.  That's because there's 
always somebody who would like to use these programs with non-default 
switches, and there's no need to invoke them automatically.

- Raw text -