[doc] Improve installation information

doc/install.rst

@@ -61,5 +61,20 @@ We recommend you set ``chmod 600`` to this file to avoid prying eyes to read
 out your personal token. Once you have your token set up, communication should
 work transparently between the built-in gitlab client and the server.
 
+If you would like to use the WebDAV interface to our web service for manually
+uploading contents, you may also setup the address, username and password for
+that server inside the file ``~/.bdtrc``.  Here is a skeleton:
+
+.. code-block:: ini
+
+
+   [webdav]
+   server = http://example.com
+   username = username
+   password = password
+
+You may obtain these parameters from our internal page explaining the `WebDAV
+configuration`_.  You shoul also set ``chmod 600`` to this file for obvious
+security reasons.
 
 .. include:: links.rst

doc/links.rst

@@ -18,4 +18,5 @@
 .. _setuptools: https://setuptools.readthedocs.io
 .. _zc.buildout: http://pypi.python.org/pypi/zc.buildout/
 .. _mr.developer: http://pypi.python.org/pypi/mr.developer/
-.. _conda channel: https://www.idiap.ch/software/bob/conda/
\ No newline at end of file
+.. _conda channel: https://www.idiap.ch/software/bob/conda/
+.. _webdav configuration: https://gitlab.idiap.ch/bob/private/wikis/how-to-upload-resources