diff --git a/README.md b/README.md
index 877ff3536e..1c912284d8 100644
--- a/README.md
+++ b/README.md
@@ -104,7 +104,7 @@ PostgreSQL extension][tsearch], as separate repos.
 contributing!
 
 [cla]: https://opensource.dropbox.com/cla/
-[dev-install]: https://github.com/zulip/zulip/blob/master/README.dev.md
+[dev-install]: https://zulip.readthedocs.io/en/latest/dev-overview.html
 [doc]: https://zulip.readthedocs.io/
 [doc-commit-style]: http://zulip.readthedocs.io/en/latest/code-style.html#commit-messages
 [doc-dirstruct]: http://zulip.readthedocs.io/en/latest/directory-structure.html
diff --git a/README.dev.md b/docs/dev-overview.md
similarity index 96%
rename from README.dev.md
rename to docs/dev-overview.md
index d4b143f5b2..7d32fc1dc7 100644
--- a/README.dev.md
+++ b/docs/dev-overview.md
@@ -1,5 +1,4 @@
-
-Installing the Zulip Development environment
+# Development environment overview
 
 * [Development environment setup for first-time
   contributors](#development-environment-setup-for-first-time-contributors)
@@ -49,8 +48,7 @@ See [the Docker instructions](https://zulip.readthedocs.io/en/latest/install-doc
 
 [using-dev]: https://zulip.readthedocs.io/en/latest/using-dev-environment.html
 
-Using the Development Environment
-=================================
+## Using the Development Environment
 
 See [this guide](https://zulip.readthedocs.io/en/latest/using-dev-environment.html).
 
diff --git a/docs/index.rst b/docs/index.rst
index c95a5a4438..ab8649d39d 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -62,6 +62,7 @@ Contents:
    :maxdepth: 2
    :caption: Installation for developers
 
+   dev-overview
    dev-env-first-time-contributors
    brief-install-vagrant-dev
    install-ubuntu-without-vagrant-dev