From e8aa32d746df7b8554eda1bde0ca1fc513f07b58 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 3 Jun 2005 20:51:58 +0000
Subject: example substitutions

---
 src/GF/Infra/Option.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/GF/Infra')

diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index d84c7ca7e..4962a9f20 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/06/02 10:23:52 $ 
+-- > CVS $Date: 2005/06/03 21:51:59 $ 
 -- > CVS $Author: aarne $
--- > CVS $Revision: 1.28 $
+-- > CVS $Revision: 1.29 $
 --
 -- Options and flags used in GF shell commands and files.
 --
@@ -244,7 +244,7 @@ nostripQualif = iOpt "nostrip"
 showAll      = iOpt "all"
 showMulti    = iOpt "multi"
 fromSource   = iOpt "src"
-makeConcrete = iOpt "makeconcrete"
+makeConcrete = iOpt "examples"
 
 -- ** mainly for stand-alone
 
-- 
cgit v1.2.3