137 |
-b, --file-prefix=PREFIX specify a PREFIX for output files\n\ |
-b, --file-prefix=PREFIX specify a PREFIX for output files\n\ |
138 |
-o, --output=FILE leave output to FILE\n\ |
-o, --output=FILE leave output to FILE\n\ |
139 |
-g, --graph also produce a VCG description of the automaton\n\ |
-g, --graph also produce a VCG description of the automaton\n\ |
140 |
\n\ |
"), stream); |
141 |
|
putc ('\n', stream); |
142 |
|
|
143 |
|
fputs (_("\ |
144 |
THINGS is a list of comma separated words that can include:\n\ |
THINGS is a list of comma separated words that can include:\n\ |
145 |
`state' describe the states\n\ |
`state' describe the states\n\ |
146 |
`itemset' complete the core item sets with their closure\n\ |
`itemset' complete the core item sets with their closure\n\ |