docs: drop support for ubuntu 12.04

docs/deploy.rst

@@ -13,7 +13,7 @@ the compute and storage nodes.
 Preparation
 Preparation
 -----------
 -----------
 
 
-To get the project running, launch a new Ubuntu 12.04 or 14.04 machine, and
+To get the project running, launch a new Ubuntu 14.04 machine, and
 log in to it over SSH.
 log in to it over SSH.
 
 
 
 
@@ -94,15 +94,10 @@ Set up nginx to serve the CIRCLE portal. ::
   sudo /etc/init.d/nginx restart
   sudo /etc/init.d/nginx restart
 
 
 .. warning::
 .. warning::
-  The nginx version supplied with Ubuntu 12.04 is too old, so you will have
-  to update_ it to 1.4+.
-
   For a production deployment, you should use certificates issued by a
   For a production deployment, you should use certificates issued by a
   recognized certificate authority. Until you get it, you can use a
   recognized certificate authority. Until you get it, you can use a
   self-signed one automatically generated by the package.
   self-signed one automatically generated by the package.
 
 
-.. _update: http://nginx.org/packages/ubuntu/
-
 Setting up Circle itself
 Setting up Circle itself
 ------------------------
 ------------------------
 
 

docs/install.rst

@@ -12,7 +12,7 @@ Preparation
 -----------
 -----------
 
 
 To get the project running on a development machine, launch a new Ubuntu
 To get the project running on a development machine, launch a new Ubuntu
-12.04 or 14.04 machine, and log in to it over SSH.
+14.04 machine, and log in to it over SSH.
 
 
 
 
 To use *git* over *SSH*, we advise enabling SSH *agent forwarding*.
 To use *git* over *SSH*, we advise enabling SSH *agent forwarding*.