diff options
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index fff5f5fc1..3b78839f3 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -208,6 +208,7 @@ useName = aOpt "name" useAbsName = aOpt "abs" useCncName = aOpt "cnc" useResName = aOpt "res" +useFile = aOpt "file" markLin = aOpt "mark" markOptXML = oArg "xml" |