aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/translate_V6-3-1_to_V7-03
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/translate_V6-3-1_to_V7-0 b/tools/translate_V6-3-1_to_V7-0
index 10e7f1403d..a89cced5c9 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" \