From acf1a1726850dd5904947f151a39648edbecda1c Mon Sep 17 00:00:00 2001 From: bjorn Date: Fri, 22 Aug 2008 09:27:44 +0000 Subject: [PATCH] In GF.Compile.Export, output file name extensions should not have double dots. --- src/GF/Compile/Export.hs | 6 +++--- 1 file 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