html string option

2008-06-23 09:19:21 +00:00
parent 2a2e985f0e
commit 8fe8e8ad8a
2 changed files with 7 additions and 0 deletions
--- 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"),