summaryrefslogtreecommitdiff
path: root/src/GF/Infra/Option.hs
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-09-26 09:20:39 +0000
committerbjorn <bjorn@bringert.net>2008-09-26 09:20:39 +0000
commit92c76a626571fd2ccc50641595cbfec9681656dc (patch)
tree6a28e240a0825df7ff57276ef303b15702a2dbb9 /src/GF/Infra/Option.hs
parent8fa99886b3a47cf58a2777ffb6d98220ee122643 (diff)
Added --output-format=ebnf.
Diffstat (limited to 'src/GF/Infra/Option.hs')
-rw-r--r--src/GF/Infra/Option.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index bf530ff4e..111d2eedc 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -87,6 +87,7 @@ data OutputFormat = FmtPGF
| FmtProlog
| FmtProlog_Abs
| FmtBNF
+ | FmtEBNF
| FmtRegular
| FmtNoLR
| FmtFCFG
@@ -458,6 +459,7 @@ outputFormats =
("prolog", FmtProlog),
("prolog_abs", FmtProlog_Abs),
("bnf", FmtBNF),
+ ("ebnf", FmtEBNF),
("regular", FmtRegular),
("nolr", FmtNoLR),
("fcfg", FmtFCFG),