diff options
Diffstat (limited to 'src/HelpFile.hs')
| -rw-r--r-- | src/HelpFile.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/HelpFile.hs b/src/HelpFile.hs index 3cc6b2ada..742279fc4 100644 --- a/src/HelpFile.hs +++ b/src/HelpFile.hs @@ -448,8 +448,11 @@ txtHelpFile = "\n -printer=gfc GFC grammar" ++ "\n -printer=gf GF grammar" ++ "\n -printer=old old GF grammar" ++ - "\n -printer=cf context-free grammar" ++ - "\n *-printer=happy source file for Happy parser generator" ++ + "\n -printer=cf context-free grammar, with profiles" ++ + "\n -printer=bnf context-free grammar, without profiles" ++ + "\n -printer=lbnf labelled context-free grammar for BNF Converter" ++ + "\n -printer=plbnf grammar for BNF Converter, with precedence levels" ++ + "\n *-printer=happy source file for Happy parser generator (use lbnf!)" ++ "\n -printer=srg speech recognition grammar" ++ "\n -printer=haskell abstract syntax in Haskell, with transl to/from GF" ++ "\n -printer=morpho full-form lexicon, long format" ++ |