3 Commits

Author	SHA1	Message	Date
Naïm Favier	0bbb2ac74e	docs: drop options.md from the repository ... Generate the file on the readthedocs builder using Nix. Since there is no root access or user namespaces, we have to use proot (see https://nixos.wiki/wiki/Nix_Installation_Guide#PRoot).	2022-12-22 20:45:03 +01:00
Naïm Favier	4fcab839d7	docs: use MarkDown for option docs	2022-12-22 20:45:01 +01:00
Antoine Eiche	9d3a87905e	docs: add .readthedocs.yml conf file to pin Python dependencies	2021-11-07 11:13:06 +01:00