summaryrefslogtreecommitdiffstats
path: root/docs/index.rst
diff options
context:
space:
mode:
authorAntoine Eiche <lewo@abesis.fr>2021-07-14 10:06:58 +0200
committerlewo <lewo@abesis.fr>2021-07-27 19:58:33 +0000
commit4d087532b69c35858b4f72bdcefebe6c49a69c01 (patch)
tree7127127736be1c3e9c03aeb0457ab9e9e7c7fcaf /docs/index.rst
parent9578dbac69ec3ddf9b2fd38a40d74332b7454dfa (diff)
docs: generate the list of options
To generate the list of options, we need to generate and commit a rst file to make all files available for ReadTheDoc. An Hydra test ensures this generated file is up-to-date. If it is not up-to-date, the error message explains the user how to generate it: the user just needs to run `nix-shell --run generate-rst-options`.
Diffstat (limited to 'docs/index.rst')
-rw-r--r--docs/index.rst1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/index.rst b/docs/index.rst
index 3ef9d5e..29386b4 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -17,6 +17,7 @@ Welcome to NixOS Mailserver's documentation!
howto-develop
faq
release-notes
+ options
.. toctree::
:maxdepth: 1