Patrice Dumas <[email protected]> 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.
