Mail Archives: djgpp/1998/06/24/10:53:03
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 -