diff options
Diffstat (limited to 'src/GF/Command')
| -rw-r--r-- | src/GF/Command/Commands.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs index 29f0bd61a..fe3532354 100644 --- a/src/GF/Command/Commands.hs +++ b/src/GF/Command/Commands.hs @@ -445,6 +445,7 @@ allCommands enc pgf = Map.fromList [ let out = maybe "no such transliteration" characterTable $ transliteration t return $ fromString out, options = [ + ("arabic", "Arabic"), ("devanagari","Devanagari"), ("thai", "Thai") ] @@ -584,6 +585,7 @@ stringOpOptions = [ ("bind","bind tokens separated by Prelude.BIND, i.e. &+"), ("chars","lexer that makes every non-space character a token"), ("from_cp1251","decode from cp1251 (Cyrillic used in Bulgarian resource)"), + ("from_arabic","from unicode to GF Arabic transliteration"), ("from_devanagari","from unicode to GF Devanagari transliteration"), ("from_thai","from unicode to GF Thai transliteration"), ("from_utf8","decode from utf8"), @@ -591,6 +593,7 @@ stringOpOptions = [ ("lexcode","code-like lexer"), ("lexmixed","mixture of text and code (code between $...$)"), ("to_cp1251","encode to cp1251 (Cyrillic used in Bulgarian resource)"), + ("to_arabic","from GF Arabic transliteration to unicode"), ("to_devanagari","from GF Devanagari transliteration to unicode"), ("to_html","wrap in a html file with linebreaks"), ("to_thai","from GF Thai transliteration to unicode"), |