tweaking BUILD instructions

pekkaklarck · pekkaklarck · commit 57f61341df90 · 2015-11-19T17:21:07.000+02:00
diff --git a/BUILD.rst b/BUILD.rst
@@ -39,14 +39,14 @@ Preparation
 
      doc/api/generate.py
      git diff doc/api
-     git commit doc/api -m "Regenerated"   # if needed
+     git commit doc/api -m "Regenerated API docs"   # if needed
 
 3. Repository status
 
    - Check that you have nothing left to commit, pull, or push::
 
        git status
-       git pull
+       git pull --rebase
        git push
 
    - Clean up::
