diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-06-03 21:35:58 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-06-03 22:32:31 +0200 |
| commit | c1732322a1e370a7ca92335718c4703fa325ae77 (patch) | |
| tree | b659b36519c6566ded795c68414bcb6064da4b74 /scripts | |
| parent | c759dcbb5b8ff45c0d2da5eaab1e7d3a57c47061 (diff) | |
| download | installation-guide-c1732322a1e370a7ca92335718c4703fa325ae77.zip | |
Update some docs to git workflow
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/cp-untrans | 2 | ||||
| -rwxr-xr-x | scripts/xml-rename | 2 |
2 files changed, 2 insertions, 2 deletions
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 |