From d61c8f91cfccbf06c5325d599cacd3a8ec7f1c36 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Thu, 28 Apr 2016 12:35:54 -0700 Subject: [PATCH] run-mypy: Link to docs on ReadTheDocs. --- tools/run-mypy | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/run-mypy b/tools/run-mypy index 153bf51358..3a32f223f3 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -63,8 +63,8 @@ if python_files: else: print("\nThe mypy static type checker for Python threw some errors,") print("which indicates a bug in your code or incorrect type annotations.") - print("Please see docs/mypy.md for details on how Zulip is using mypy") - print("to find bugs and how to debug the issue.") + print("Please see http://zulip.readthedocs.io/en/latest/mypy.html for details") + print("on mypy, how Zulip is using mypy, and how to debug common issues.") sys.exit(rc) else: print("There are no files to run mypy on.")