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

599 B

Raw Blame History

View Raw