diff options
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index 8ec2971b6..3162bd88a 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -580,6 +580,7 @@ txtHelpFile = "\n -printer=gsl Nuance GSL speech recognition grammar" ++ "\n -printer=jsgf Java Speech Grammar Format" ++ "\n -printer=srgs_xml SRGS XML format" ++ + "\n -printer=srgs_xml_prob SRGS XML format, with weights" ++ "\n -printer=slf a finite automaton in the HTK SLF format" ++ "\n -printer=slf_graphviz the same automaton as in SLF, but in Graphviz format" ++ "\n -printer=fa_graphviz a finite automaton with labelled edges" ++ |