diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-22 09:27:44 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-22 09:27:44 +0000 |
| commit | b6785df0d2d3811920c7212f7a0d75b40d1d0db2 (patch) | |
| tree | f06d0e00808f9cbbae891dff93b163705b9ce38f /src/GF | |
| parent | a76a118ec9c9f8cf2ffe80b20ec58a345b9276a7 (diff) | |
In GF.Compile.Export, output file name extensions should not have double dots.
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Compile/Export.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Compile/Export.hs b/src/GF/Compile/Export.hs index 0d54f8cbf..f3e775ccf 100644 --- a/src/GF/Compile/Export.hs +++ b/src/GF/Compile/Export.hs @@ -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 |