# 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
