Update some docs to git workflow

1 files changed, 7 insertions, 6 deletions

diff --git a/doc/translations_po.txt b/doc/translations_po.txt
index 1657de81b..b6de69bbf 100644
--- a/doc/translations_po.txt
+++ b/doc/translations_po.txt
@@ -180,7 +180,7 @@ It takes German (de) as an example for the conversion.
 3) Run the following scripts:
    './scripts/merge_xml en'  # merge English XML files per chapter
    './scripts/update_pot'    # update POT files to match merged XML files
-   This will create your base situation for conversion. Do _not_ 'svn up'
+   This will create your base situation for conversion. Do _not_ 'git pull'
    after this or you may have to start from scratch.
 
 4) Merge XML files for the translation:
@@ -239,7 +239,7 @@ It takes German (de) as an example for the conversion.
 9) After you are happy with the conversion, run
    '.scripts/create_xml de'
    This will generate XML files in ./de.new (not in ./de as that directory
-   is still in SVN). This should be without any errors.
+   is still in GIT). This should be without any errors.
 
    Possible errors:
 
@@ -271,10 +271,10 @@ It takes German (de) as an example for the conversion.
    that do not (apparently) affect the building for HTML format. 
 
 11) If all is correct, go back to the original "manual/" dir:
-   'svn revert -R po/pot/'
-   'svn add po/de/'
-   'svn del de'
-   'svn ci'
+   'git checkout -f po/pot/'
+   'git add po/de/'
+   'git rm -r de'
+   'git commit'
    'rm -r ./integrated/ ./de.new/'
  
 Note
@@ -292,6 +292,7 @@ If you find any errors in this file, please fix them.
 Changelog:
 
 2018/06/03 Holger Wansing
+           Samuel Thibault
  - Updating (most) content on git migration
 
 2017-04-12 Holger Wansing