Mail Archives: djgpp/1998/06/24/04:22:02
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.
- Raw text -