Re: makeinfo does not produce first output file when multiple files passed

[No Wayman]

Patrice Dumas <pertusus@free.fr> writes:

> The -o options is supposed to be passed once, and it is used for 
> the
> first input file only.  In case there are multiple ones, only 
> the last
> one is used (this could change in the future).  So, in your 
> case,
> eat.info is used as output file for fdl.texi, then gpl.texi is 
> processed
> with the default output file name, which happens to be gpl.info 
> and last
> eat.texi is processed and the default output name is used too, 
> which is
> eat.info.
>
> When you specify /dev/null as the first texinfo manual, the same 
> happen,
> but the first manual going to eat.info as specified by the last 
> -o is an
> empty manual read from /dev/null, and all the manuals geet their 
> default
> output names.

Thank you for the clarification.
This bug can be closed.