Antoine Eiche 4d087532b6 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`.
2021-07-27 19:58:33 +00:00
..
2021-03-03 08:36:08 +00:00
2021-03-03 08:36:08 +00:00
2020-07-06 19:48:51 +00:00
2021-03-03 08:36:08 +00:00
2021-03-23 18:40:44 +00:00
2021-07-27 19:58:33 +00:00
2020-10-31 08:34:36 +01:00
2021-07-27 19:58:33 +00:00
2021-06-06 10:20:14 +02:00
2021-03-03 08:36:08 +00:00