Update Vagrantfile to provision a production box too.

docs/releases/2.0.1.rst

@@ -24,6 +24,18 @@ Fix multiple document metadata editing
 Fixed a bug that made it impossible to edit multiple documents' metadata values
 if one of the documents had no previous value for it's metadata.
 
+Updated Vagrant file
+--------------------
+The included Vagrant file now provide 2 boxes: development and production.
+Selection which kind of box to provision is as easy as executing::
+
+    vagrant up development
+
+or
+
+    vagrant up production
+
+
 Other changes
 -------------
 * None

docs/topics/deploying.rst

@@ -247,3 +247,12 @@ be available by browsing to http://127.0.0.1. You can inspect the initialization
 with::
 
     docker logs mayanedms_mayan-edms_1
+
+Vagrant
+=======
+Make sure you have Vagrant and a provider properly installed as per
+https://docs.vagrantup.com/v2/installation/index.html
+And execute::
+
+    vagrant up production
+

docs/topics/development.rst

@@ -254,7 +254,7 @@ Start and provision a machine using:
 
 .. code-block:: bash
 
-    vagrant up
+    vagrant up development
 
 To launch a standalone development server
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~