diff --git a/doc/developers/index.rst b/doc/developers/index.rst
index 998176fa0c52aeac6bac30a3b76646b849a61955..a1ec7d6871968a161984dd1716296174df032e87 100644
--- a/doc/developers/index.rst
+++ b/doc/developers/index.rst
@@ -89,7 +89,7 @@ this case, replace step 4 by step 5:
      repo::
 
         $ git checkout -b my-feature
-        $ gid add modified_files
+        $ git add modified_files
         $ git commit
         $ git push origin my-feature