summaryrefslogtreecommitdiff
path: root/src/GF/Infra
diff options
context:
space:
mode:
authoraarne <unknown>2004-03-26 20:08:30 +0000
committeraarne <unknown>2004-03-26 20:08:30 +0000
commit6719aedde34c3a4f0ccb78931968c6fe490b3282 (patch)
tree489e96a556d27ba87474c4ce89e3757a17ececb4 /src/GF/Infra
parent2433403b6247022ac56133ca935307868fcef6b9 (diff)
Better help.
Diffstat (limited to 'src/GF/Infra')
-rw-r--r--src/GF/Infra/Option.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index a46127f16..fe56c23fc 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -160,6 +160,8 @@ doCompute = iOpt "c"
optimizeCanon = iOpt "opt"
stripQualif = iOpt "strip"
nostripQualif = iOpt "nostrip"
+showAll = iOpt "all"
+fromSource = iOpt "src"
-- mainly for stand-alone
useUnicode = iOpt "unicode"