settings: Link to documentation on changing settings.

This is obviously more important than the pre-existing link to the
developer documentation for this system.

Fixes #7910.
This commit is contained in:
Tim Abbott
2018-02-19 09:49:49 -08:00
parent c732313c36
commit be9dbccdfa

View File

@@ -1,9 +1,13 @@
from typing import Optional
# Zulip Settings intended to be set by a system administrator.
# Zulip server-level Settings (to be set by the system administrator).
#
# See https://zulip.readthedocs.io/en/latest/subsystems/settings.html for
# detailed technical documentation on the Zulip settings system.
# Remember to restart the server after changes here! Documentation at:
#
# https://zulip.readthedocs.io/en/latest/production/settings.html
#
# Developer documentation on the Zulip settings system is available at:
# https://zulip.readthedocs.io/en/latest/subsystems/settings.html
#
### MANDATORY SETTINGS
#