[pdftex] teTeX makeinfo bug?

[John Blevin]

Hello all,

Not strictly a pdftex question, but I got a good response the last
time, so...

The makeinfo --help include the following example:

  makeinfo --html --no-headers foo.texi write html without node lines, menus

But when I run this I get an error:

$ makeinfo --html --no-headers foo.texi 
makeinfo: --no-headers conflicts with --no-split for --html.
Try `makeinfo --help' for more information.

Seems to be a bug...  any ideas?

Thanks,

John