> > I tried to set
> >
> > MAKEINFO="texi2html --iftex" texi2pdf -E ...
>
> You should also pass --no-ifhtml.
OK.
> > Apparently, texi2html can't act as a filter. Looks like a bug...
>
> Indeed. What should be the syntax? When there is no file name in
> argument and somethng in STDIN, use that something?
makeinfo creates a file `stdin.info' if there is no argument and input
comes from STDIN, and the output isn't piped through. If there is an
argument I suspect it's best to ignore input on STDIN.
> However, it shouldn't be hard to mimic makeinfo help output.
Very good.
> > short options like `-I foo' or `-o foo' aren't documented.
>
> -I is documented as --I. -o is as --output (since options may be
> abbreviated).
This should be mentioned explicitly. How shall I now that I can
abbreviate `--' to `-'? For me, `abbreviate' only means that I can
omit something on the right side of an option name, not on the left.
Werner