A Nix build can give us a platform and GitHub-independent way of developing, rendering, and serving the docs site.
I propose adding a Nix flake that add both a Nix devshell (so developers can install the environment and all tools with nix develop) and a Nix package (for full reproducible builds of the site) and adding instructions to the README on how to (optionally!) use Nix to do this.
This is fairly easy to do and I have done it for Jekyll before.
A Nix build can give us a platform and GitHub-independent way of developing, rendering, and serving the docs site.
I propose adding a Nix flake that add both a Nix devshell (so developers can install the environment and all tools with
nix develop) and a Nix package (for full reproducible builds of the site) and adding instructions to the README on how to (optionally!) use Nix to do this.This is fairly easy to do and I have done it for Jekyll before.