Lines Matching full:produce
210 " --defines[=FILE] also produce a header file\n"
213 " -r, --report=THINGS also produce details on the automaton\n"
1288 #~ " -d, --defines also produce a header file\n"
1289 #~ " -v, --verbose also produce an explanation of the "
1293 #~ " -g, --graph also produce a VCG description of the "
