Re: another serious `texi2dvi -E' bug

[Patrice Dumas]

On Tue, Nov 25, 2008 at 01:08:11PM +0100, Werner LEMBERG wrote:
> 
> 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.

How is it known that output is not piped through? And also shouldn't 
@setfilename the_file (line read from STDIN) be honored if there is such
line in the input?

> > > 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.

Right. I plan to modify --help to say:

Note: 'Options' may be abbreviated. -- prefix may be replaced by a single -.
'Type' specifications mean:
...........

--
Pat