From 5a7d6e542d7fc0c01bec9163e4be732ac1c6d217 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 14 Nov 2003 12:36:23 +0000
Subject: New unicodings.

New unicodings.
Module with works.

Better compilation of old GF.
---
 src/GF/Infra/Option.hs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/GF/Infra')

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"
-- 
cgit v1.2.3