Parameters common for all commandline programs taking one input stream and writing text as output.

-i, --input=FILENAME Read input transducer from FILENAME
-o, --output=FILENAME Write output to text-file FILENAME
-R, --read-symbols=FILENAME Read symbol table from FILENAME

Topic revision: r2 - 2009-04-02 - MiikkaSilfverberg
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback