From c1732322a1e370a7ca92335718c4703fa325ae77 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 3 Jun 2018 21:35:58 +0200
Subject: Update some docs to git workflow

---
 scripts/cp-untrans | 2 +-
 scripts/xml-rename | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'scripts')

diff --git a/scripts/cp-untrans b/scripts/cp-untrans
index 065be19f4..be080f714 100755
--- a/scripts/cp-untrans
+++ b/scripts/cp-untrans
@@ -6,7 +6,7 @@
 
 # Note:
 # Run doc-check before you run this script.
-# It is recommended you use 'svn diff <language>' to check the
+# It is recommended you use 'git diff <language>' to check the
 # changes made by this script before committing.
 
 set -e
diff --git a/scripts/xml-rename b/scripts/xml-rename
index 0f7f2af23..03444293f 100755
--- a/scripts/xml-rename
+++ b/scripts/xml-rename
@@ -22,5 +22,5 @@ fi
 
 for FILE in */$SOURCE; do
 	FDIR="$(dirname $FILE)"
-	svn mv $FILE $FDIR/$NEWNAME
+	git mv $FILE $FDIR/$NEWNAME
 done
-- 
cgit v1.2.3