Docs: Add reference + short description for Paver

In the developer-guide [Paver] is very briefly mentioned.
The purpose of this change is to expand a little bit the context to help
and help the potential contributor to understand what is happening.

[Paver]: https://pythonhosted.org/Paver/

1 files changed, 11 insertions, 2 deletions

diff --git a/docs/development/developer-guide.rst b/docs/development/developer-guide.rst
index d6ed2c1f..052ca762 100644
--- a/docs/development/developer-guide.rst
+++ b/docs/development/developer-guide.rst
@@ -123,5 +123,14 @@ setuptools from source. Eventually, this limitation may be lifted as
 PEP 517/518 reach ubiquitous adoption, but for now, Setuptools
 cannot declare dependencies other than through
 ``setuptools/_vendor/vendored.txt`` and
-``pkg_resources/_vendor/vendored.txt`` and refreshed by way of
-``paver update_vendored`` (pavement.py).
+``pkg_resources/_vendor/vendored.txt``.
+
+All the dependencies specified in these files are "vendorized" using Paver_, a
+simple Python-based project scripting and task running tool.
+
+To refresh the dependencies, you can run the following command (defined in
+``pavement.py``)::
+
+    $ paver update_vendored
+
+.. _Paver: https://pythonhosted.org/Paver/