docs/mdbook: install directly to $out

(cherry picked from commit e3f4a57fb8)

.github/workflows/build_documentation.yml

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

docs/mdbook/default.nix

@@ -318,8 +318,7 @@ pkgs.stdenv.mkDerivation (finalAttrs: {
   };
 
   buildPhase = ''
-    dest=$out/share/doc
-    mkdir -p $dest
+    mkdir -p $out
 
     # Copy (and flatten) src into the build directory
     cp -r --no-preserve=all $src/* ./
@@ -350,9 +349,9 @@ pkgs.stdenv.mkDerivation (finalAttrs: {
       --replace-fail "@DOCS_VERSIONS@" "$(cat ${finalAttrs.passthru.docs-versions})"
 
     mdbook build
-    cp -r ./book/* $dest
-    mkdir -p $dest/search
-    cp -r ${finalAttrs.passthru.search}/* $dest/search
+    cp -r ./book/* $out
+    mkdir -p $out/search
+    cp -r ${finalAttrs.passthru.search}/* $out/search
   '';
 
   inherit baseHref;

flake-modules/dev/devshell.nix

@@ -103,7 +103,7 @@
 
                 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})
               '';
             }
             {