[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: another serious `texi2dvi -E' bug

From: Patrice Dumas
Subject: Re: another serious `texi2dvi -E' bug
Date: Tue, 25 Nov 2008 21:12:27 +0100
User-agent: Mutt/1.5.18 (2008-05-17)

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:


reply via email to

[Prev in Thread] Current Thread [Next in Thread]