summaryrefslogtreecommitdiff
path: root/src/GF/Infra
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-09-26 15:21:32 +0000
committerbjorn <bjorn@bringert.net>2008-09-26 15:21:32 +0000
commitba321be3ffa503f7e65cbde4c3ff99bcfae57c3e (patch)
tree9dec4bd14f2dc0b4c76d1be3b35d207f1e447021 /src/GF/Infra
parent0f4e8468be45a8154098c44caa28cace147aa8ce (diff)
Added pgf-pretty output-format
Diffstat (limited to 'src/GF/Infra')
-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 111d2eedc..e9b70ccf7 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -81,6 +81,7 @@ data Encoding = UTF_8 | ISO_8859_1 | CP_1251
deriving (Eq,Ord)
data OutputFormat = FmtPGF
+ | FmtPGFPretty
| FmtJavaScript
| FmtHaskell
| FmtHaskell_GADT
@@ -453,6 +454,7 @@ optDescr =
outputFormats :: [(String,OutputFormat)]
outputFormats =
[("pgf", FmtPGF),
+ ("pgf-pretty", FmtPGFPretty),
("js", FmtJavaScript),
("haskell", FmtHaskell),
("haskell_gadt", FmtHaskell_GADT),