# building the docs
cd docs
nix-build default.nix -o result
make clean html