In GF.Compile.Export, output file name extensions should not have double dots.

This commit is contained in:
bjorn
2008-08-22 09:27:44 +00:00
parent 440d9c49b9
commit acf1a17268

View File

@@ -38,9 +38,9 @@ exportPGF opts fmt pgf =
FmtJSGF -> single "jsgf" (jsgfPrinter sisr)
FmtGSL -> single "gsl" gslPrinter
FmtVoiceXML -> single "vxml" grammar2vxml
FmtSLF -> single ".slf" slfPrinter
FmtRegExp -> single ".rexp" regexpPrinter
FmtFA -> single ".dot" slfGraphvizPrinter
FmtSLF -> single "slf" slfPrinter
FmtRegExp -> single "rexp" regexpPrinter
FmtFA -> single "dot" slfGraphvizPrinter
where
name = fromMaybe (prCId (absname pgf)) (moduleFlag optName opts)
sisr = flag optSISR opts