Move Dockerfile to Dockerfile-dev.

Based on zulip#450, with commits restructured by Rein Zustand.
2017-09-23 02:28:40 +02:00 · 2017-09-23 02:28:40 +02:00 · 9bd3f772b7
parent b1e52610dc
commit 9bd3f772b7
2 changed files with 1 additions and 1 deletions
--- a/0
+++ b/0
--- a/docs/dev-setup-non-vagrant.md
+++ b/docs/dev-setup-non-vagrant.md
@ -390,7 +390,7 @@ Then you should create the Docker image based on Ubuntu Linux, first
 go to the directory with the Zulip source code:

 ```
-docker build -t user/zulipdev .
+docker build -t user/zulipdev -f Dockerfile-dev .
 ```