docs/mdbook: install directly to $out

(cherry picked from commit e3f4a57fb8)
This commit is contained in:
Matt Sturgeon 2025-05-23 21:13:06 +01:00
parent 240a7c2fdf
commit 3117e87095
No known key found for this signature in database
GPG key ID: 4F91844CED1A8299
3 changed files with 6 additions and 7 deletions

View file

@ -110,7 +110,7 @@ jobs:
# Copy the result to the install dir # Copy the result to the install dir
mkdir -p "$installDir" mkdir -p "$installDir"
cp -r result/share/doc/* "$installDir" cp -r result/* "$installDir"
} }
# For each version of the docs... # For each version of the docs...

View file

@ -348,8 +348,7 @@ pkgs.stdenv.mkDerivation (finalAttrs: {
contributing = finalAttrs.passthru.fix-links ../../CONTRIBUTING.md; contributing = finalAttrs.passthru.fix-links ../../CONTRIBUTING.md;
buildPhase = '' buildPhase = ''
dest=$out/share/doc mkdir -p $out
mkdir -p $dest
# Copy (and flatten) src into the build directory # Copy (and flatten) src into the build directory
cp -r --no-preserve=all $src/* ./ cp -r --no-preserve=all $src/* ./
@ -388,9 +387,9 @@ pkgs.stdenv.mkDerivation (finalAttrs: {
--replace-fail "@USER_CONFIGS@" "$(cat ${finalAttrs.passthru.user-configs})" --replace-fail "@USER_CONFIGS@" "$(cat ${finalAttrs.passthru.user-configs})"
mdbook build mdbook build
cp -r ./book/* $dest cp -r ./book/* $out
mkdir -p $dest/search mkdir -p $out/search
cp -r ${finalAttrs.passthru.search}/* $dest/search cp -r ${finalAttrs.passthru.search}/* $out/search
''; '';
inherit baseHref; inherit baseHref;

View file

@ -108,7 +108,7 @@
echo -e "\n=> You can then open your browser to view the doc\n" echo -e "\n=> You can then open your browser to view the doc\n"
(cd "$doc_derivation"/share/doc && ${pkgs.lib.getExe pkgs.python3} ${./server.py}) (cd "$doc_derivation" && ${pkgs.lib.getExe pkgs.python3} ${./server.py})
''; '';
} }
{ {