docs: add devShell hook

This commit is contained in:
phaer 2024-06-13 13:37:45 +02:00
parent 5c6e0e5e9a
commit c67109b0f1

View File

@ -142,6 +142,15 @@
packages = [
pythonWithDeps
];
shellHook = ''
cd $PRJ_ROOT/docs
if [ ! -d src/reference ]; then
echo "linking .#reference to src/reference, you need to update this manually\
and remove it before a production build"
ln -s $(nix build ..#reference --no-link --print-out-paths) src/reference
fi
'';
};
};
}