diff options
Diffstat (limited to 'src/GF/Shell/HelpFile.hs')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index e577d5b46..66de7a5ab 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -657,9 +657,11 @@ txtHelpFile = "\n -printer=jsgf_sisr_old Java Speech Grammar Format with semantic tags in " ++ "\n SISR WD 20030401 format" ++ "\n -printer=srgs_abnf SRGS ABNF format" ++ + "\n -printer=srgs_abnf_non_rec SRGS ABNF format, without any recursion." ++ "\n -printer=srgs_abnf_sisr_old SRGS ABNF format, with semantic tags in" ++ "\n SISR WD 20030401 format" ++ "\n -printer=srgs_xml SRGS XML format" ++ + "\n -printer=srgs_xml_non_rec SRGS XML format, without any recursion." ++ "\n -printer=srgs_xml_prob SRGS XML format, with weights" ++ "\n -printer=srgs_xml_sisr_old SRGS XML format, with semantic tags in" ++ "\n SISR WD 20030401 format" ++ |