diff options
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 2 |
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), |