4 Commits

Author	SHA1	Message	Date
emilylange	9f7291ce68	docs: fix Read the Docs by using portable-nix ... As of recently, Nix 2.6 from Ubuntu 22.04 became too old to evaluate nixpkgs. A new-enough version of Nix is available as part of Ubuntu 24.04, but those newer versions of Nix aren't happy with our rather primitive proot workaround anymore. Thankfully, someone already made a version of Nix that does all the heavy lifting for running in unprivileged environments like the one Read the Docs provides. So we used that instead.	2025-11-05 01:10:52 +01:00
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