diff options
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index e28d18fcd..3bdf4dc0f 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -144,6 +144,7 @@ beVerbose = iOpt "v" showInfo = iOpt "i" beSilent = iOpt "s" emitCode = iOpt "o" +notEmitCode = iOpt "noemit" makeMulti = iOpt "multi" beShort = iOpt "short" wholeGrammar = iOpt "w" @@ -193,6 +194,11 @@ extractGr = aOpt "extract" pathList = aOpt "path" uniCoding = aOpt "coding" +useName = aOpt "name" +useAbsName = aOpt "abs" +useCncName = aOpt "cnc" +useResName = aOpt "res" + markLin = aOpt "mark" markOptXML = oArg "xml" markOptJava = oArg "java" |