diff options
author | Francesco Potortì <[email protected]> | 2002-06-06 12:50:27 +0000 |
---|---|---|
committer | Francesco Potortì <[email protected]> | 2002-06-06 12:50:27 +0000 |
commit | 97b90b0a2df5ae50c6508a279dc9cbb59ad4431f (patch) | |
tree | 10c43f8a8d6778d598e7bef4ddadcff77b0da50e /etc/TUTORIAL.de | |
parent | f6566f9015fac459eaf14126e2c51052af532a4b (diff) |
(enum arg_type): New label at_stdin.
(STDIN): New constant.
(parsing_stdin): New flag.
(longopts): New option --parse-stdin=NAME.
(print_help): Document it.
(main): Handle it.
(process_file): Split into process_file and process_file_name.
(process_file_name): New function.
Diffstat (limited to 'etc/TUTORIAL.de')
0 files changed, 0 insertions, 0 deletions