From 560dd7089c3f5304db9596486ea423484f86c891 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 13 Jun 2001 08:45:04 +0000
Subject: plus besoin de separer les ?

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1786 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/translate_V6-3-1_to_V7-0 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/translate_V6-3-1_to_V7-0 b/tools/translate_V6-3-1_to_V7-0
index a89cced5c9..10e7f1403d 100755
--- a/tools/translate_V6-3-1_to_V7-0
+++ b/tools/translate_V6-3-1_to_V7-0
@@ -8,8 +8,7 @@ echo "- Various renamings of commands as described in document Changes.ps"
 
 for i in $*
   do sed -e "s/\.\([A-Z]\)/\. \1/g" -e "s/AddPath/Add LoadPath/g" \
-    -e "s/~</~ </g" -e "s/|</| </g" -e "s/\([^ ]\)\?/\1 \?/g" \
-    -e "s/\?\([^ ]\)/\? \1/g" \
+    -e "s/~</~ </g" -e "s/|</| </g" \
     -e "s/AddPath/Add LoadPath/g" -e "s/DelPath/Remove LoadPath/g" \
     -e "s/AddRecPath/Add Rec LoadPath/g" \
     -e "s/Implicit  *Arguments  *On/Set Implicit Arguments/g" \
-- 
cgit v1.2.3