zulip

Author	SHA1	Message	Date
Jack Zhang	d60a088a49	developer docs: Recommend the mypy daemon for running mypy locally. Resolves #10622.	2018-10-10 16:29:16 -07:00
Tim Abbott	038f50b05e	docs: Add basic documentation for adding mypy stubs.	2018-07-26 15:06:22 -07:00
Tim Abbott	e4131fb708	docs: Remove a bunch of content from mypy docs. All of this content had become obsolete due to our successful adoption of mypy.	2018-05-13 17:23:18 -07:00
Greg Price	a61e032a3b	docs/contributing/mypy: Small wording fixes.	2018-01-24 14:37:17 -08:00
David Rosa Tamsen	7072fa5b37	docs: Reorganize developer docs to improve navigation. This commit helps reduce clutter on the navigation sidebar. Creates new directories and moves relevant files into them. Modifies index.rst, symlinks, and image paths accordingly. This commit also enables expandable/collapsible navigation items, renames files in docs/development and docs/production, modifies /tools/test-documentation so that it overrides a theme setting, Also updates links to other docs, file paths in the codebase that point to developer documents, and files that should be excluded from lint tests. Note that this commit does not update direct links to zulip.readthedocs.io in the codebase; those will be resolved in an upcoming follow-up commit (it'll be easier to verify all the links once this is merged and ReadTheDocs is updated). Fixes #5265.	2017-11-16 09:45:08 -08:00