diff --git a/src/GF/Compile/Export.hs b/src/GF/Compile/Export.hs
index 9e9a99e99..0d54f8cbf 100644
--- a/src/GF/Compile/Export.hs
+++ b/src/GF/Compile/Export.hs
@@ -34,6 +34,7 @@ exportPGF opts fmt pgf =
       FmtHaskell_GADT -> multi "hs"  (grammar2haskellGADT name)
       FmtBNF          -> single "bnf"   bnfPrinter
       FmtSRGS_XML     -> single "grxml" (srgsXmlPrinter sisr)
+      FmtSRGS_XML_NonRec -> single "grxml" srgsXmlNonRecursivePrinter
       FmtJSGF         -> single "jsgf"  (jsgfPrinter sisr)
       FmtGSL          -> single "gsl"   gslPrinter
       FmtVoiceXML     -> single "vxml"  grammar2vxml
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index f992d4f98..563d6180e 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -84,7 +84,8 @@ data OutputFormat = FmtPGF
                   | FmtHaskell 
                   | FmtHaskell_GADT 
                   | FmtBNF
-                  | FmtSRGS_XML 
+                  | FmtSRGS_XML
+                  | FmtSRGS_XML_NonRec
                   | FmtSRGS_ABNF 
                   | FmtJSGF 
                   | FmtGSL 
@@ -444,6 +445,7 @@ outputFormats =
      ("haskell_gadt", FmtHaskell_GADT),
      ("bnf",          FmtBNF),
      ("srgs_xml",     FmtSRGS_XML),
+     ("srgs_xml_nonrec",     FmtSRGS_XML_NonRec),
      ("srgs_abnf",    FmtSRGS_ABNF),
      ("jsgf",         FmtJSGF),
      ("gsl",          FmtGSL),