Redirecting stdin to an alternate file.
This is the “input file (if not stdin)” option.
This option takes a string argument ‘file’.
This program normally runs as a filter, reading from standard
input, columnizing and writing to standard out. This option redirects
input to a file.
This document was generated by Bruce Korb on August 21, 2015 using texi2html 1.82.