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
