Date: Wed, 24 Jun 1998 11:21:51 +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: <m0yoVka-000S3zC@inti.gov.ar>
Message-ID: <Pine.SUN.3.91.980624111838.23442D-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


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

> > Just set LFN=n before running makeinfo, and it will generate 8+3 names 
> > automagically.
> 
> Yes but they can't be compressed because makeinfo generates:
> 
> intinfo.100
> intinfo.101
> 
> and gzip names both as intinfo.10z, that's why the converter must do
> some extra work.

I don't think that would be necessary.  This should do the job:

	set LFN=n
	makeinfo -o intinfo int2texi.txi

(Alternatively, use the "@setfilename intinfo" command at the beginning 
of the converted Texinfo file.)

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. 

> But I sent to Magico a code that converts the names to:
> intin100.inz, intin101.inz, etc and fixes the indirect table of the
> first info file.

I don't think such work-arounds should be necessary when makeinfo
has a way of creating usable files by itself.

I would also suggest to ask questions about such problems here before
you decide that a given problem needs such work-arounds.  It might be
that a solution is already available, or that there's a bug in the
ported package that should be corrected.