3 commits

Author	SHA1	Message	Date
Naïm Favier	53af883255	Regenerate options.rst	2022-02-24 20:51:40 +00:00
Antoine Eiche	74bb227990	docs: remove output paths from generated documentation ... Otherwise, the `testRstOptions` test would fail too often!	2021-10-14 09:06:14 +02:00
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