118 |
-d, --defines also produce a header file\n\ |
-d, --defines also produce a header file\n\ |
119 |
-v, --verbose also produce an explanation of the automaton\n\ |
-v, --verbose also produce an explanation of the automaton\n\ |
120 |
-b, --file-prefix=PREFIX specify a PREFIX for output files\n\ |
-b, --file-prefix=PREFIX specify a PREFIX for output files\n\ |
121 |
-o, --output-file=FILE leave output to FILE\n"), stream); |
-o, --output-file=FILE leave output to FILE\n\ |
122 |
|
-g, --graph also produce a VCG graph description of the \ |
123 |
|
automaton\n"), stream); |
124 |
putc ('\n', stream); |
putc ('\n', stream); |
125 |
|
|
126 |
fputs (_("\ |
fputs (_("\ |