diff lispref/os.texi @ 45655:a4c27d23899f

(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.
author Francesco Potortì <pot@gnu.org>
date Thu, 06 Jun 2002 12:47:58 +0000
parents 7e937c00ff00
children b77938fad6d0
line wrap: on
line diff