Don't move doc in web output

This commit is contained in:
Rodrigo Arias 2025-02-14 16:36:57 +01:00
parent bd55b1ed23
commit 1dd904f909

View File

@ -12,6 +12,8 @@ let
installPhase = '' installPhase = ''
cp -r public $out cp -r public $out
''; '';
# Don't mess doc/
dontFixup = true;
}; };
in in
{ {