Rename the docker files.

README.md

@@ -91,9 +91,9 @@ You can build your own Quickref Docker images by using the provided
 Dockerfiles located in the `docker` directory. The project is split in 2
 separate images:
 
-  * `Dockerfile-buildenv` creates a Debian 8 image with all the dependencies
-  needed to buid the various Quicklisp libraries inside.
-  * `Dockerfile` builds on top of the `buildenv` image to set up a
+  * `Buildenv` creates a Debian 8 image with all the dependencies needed to
+  buid the various Quicklisp libraries inside.
+  * `Quickref` builds on top of the `Buildenv` image to set up a
   `quickbuilder` user, pull the latest versions of Quickref and Declt, and
   finally launch Quickref.
 
@@ -106,8 +106,8 @@ the hundreds of dependencies installed from `apt`).
 The two Quickref Docker images are created by typing respectively (and in that
 order):
 ```
-docker build -t quickref/buildenv -f Dockerfile-buildenv .
-docker build -t quickref .
+docker build -t quickref/buildenv -f Buildenv .
+docker build -t quickref -f Quickref .
 ```
 
 ### Extracting the website