summaryrefslogtreecommitdiff
path: root/scripts/xml-rename
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2018-06-03 21:35:58 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2018-06-03 22:32:31 +0200
commitc1732322a1e370a7ca92335718c4703fa325ae77 (patch)
treeb659b36519c6566ded795c68414bcb6064da4b74 /scripts/xml-rename
parentc759dcbb5b8ff45c0d2da5eaab1e7d3a57c47061 (diff)
downloadinstallation-guide-c1732322a1e370a7ca92335718c4703fa325ae77.zip
Update some docs to git workflow
Diffstat (limited to 'scripts/xml-rename')
-rwxr-xr-xscripts/xml-rename2
1 files changed, 1 insertions, 1 deletions
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