From ba321be3ffa503f7e65cbde4c3ff99bcfae57c3e Mon Sep 17 00:00:00 2001 From: bjorn Date: Fri, 26 Sep 2008 15:21:32 +0000 Subject: Added pgf-pretty output-format --- src/GF/Infra/Option.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/GF/Infra') 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), -- cgit v1.2.3