From 0b3b22bcf89630cb5516a8aca69e6ccd2d7722d9 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 3 Jan 2001 22:21:37 +0000
Subject: Prise en compte des ??

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

(limited to 'tools')

diff --git a/tools/translate_V6-3-1_to_V7-0 b/tools/translate_V6-3-1_to_V7-0
index 10e7f1403..a89cced5c 100755
--- a/tools/translate_V6-3-1_to_V7-0
+++ b/tools/translate_V6-3-1_to_V7-0
@@ -8,7 +8,8 @@ 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/~</~ </g" -e "s/|</| </g" -e "s/\([^ ]\)\?/\1 \?/g" \
+    -e "s/\?\([^ ]\)/\? \1/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