From a3c4ea51f0dbcf997ea2ad5e8e44f93b3d26ebed Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Sun, 16 Dec 2018 21:11:17 -0800 Subject: [PATCH] docs: Simplify discussion of where mypy is installed. --- docs/contributing/mypy.md | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/docs/contributing/mypy.md b/docs/contributing/mypy.md index bee546bd98..008f3b1723 100644 --- a/docs/contributing/mypy.md +++ b/docs/contributing/mypy.md @@ -38,11 +38,8 @@ https://blog.zulip.org/2016/10/13/static-types-in-python-oh-mypy/ ## Installing mypy -If you installed Zulip's development environment correctly, mypy -should already be installed inside the Python 3 virtualenv at -`zulip-py3-venv` (mypy only supports Python 3). - -If you'd like to install just the version of `mypy` that we're using +mypy is installed by default in the Zulip development environment. If +you'd like to install just the version of `mypy` that we're using (useful if e.g. you want `mypy` installed on your laptop outside the Vagrant guest), you can do that with `pip install -r requirements/mypy.txt`.