# generating packages nix-shell pkgs/shell-generate.nix cd docs pip2nix generate # building the docs cd docs nix-build default.nix -o result make clean html