dev: Make the serve-docs command uncached

This commit is contained in:
Quentin Boyer 2024-07-24 22:31:16 +02:00 committed by GaetanLepage
parent 42a7676d5a
commit 4d874f6c11
2 changed files with 18 additions and 3 deletions

View file

@ -81,10 +81,9 @@
echo -e "\n=> Documentation successfully built ('$doc_derivation')"
port=8000
echo -e "\n=> Now open your browser and navigate to 'localhost:$port'\n"
echo -e "\n=> You can then open your browser to view the doc\n"
${pkgs.lib.getExe pkgs.python3} -m http.server -d "$doc_derivation"/share/doc
(cd "$doc_derivation"/share/doc && ${pkgs.lib.getExe pkgs.python3} ${./server.py})
'';
}
{