diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-23 09:19:21 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-23 09:19:21 +0000 |
| commit | 65b2670ce7c1babe8bb206fa841587c2801f1bec (patch) | |
| tree | 73d33cc1e888200892f391c6fce608abc48dcf36 /src-3.0/GF/Command/Commands.hs | |
| parent | f62c70bdd56f27c185ba9237be1ec95cd94bdaca (diff) | |
html string option
Diffstat (limited to 'src-3.0/GF/Command/Commands.hs')
| -rw-r--r-- | src-3.0/GF/Command/Commands.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src-3.0/GF/Command/Commands.hs b/src-3.0/GF/Command/Commands.hs index 3e6543819..5514a0596 100644 --- a/src-3.0/GF/Command/Commands.hs +++ b/src-3.0/GF/Command/Commands.hs @@ -545,6 +545,7 @@ stringOpOptions = [ ("lexcode","code-like lexer"), ("lexmixed","mixture of text and code (code between $...$)"), ("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"), ("to_utf8","encode to utf8"), ("unlextext","text-like unlexer"), |