diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml
index 93d552cf..5680b73d 100644
--- a/.github/workflows/build_documentation.yml
+++ b/.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...
diff --git a/docs/mdbook/default.nix b/docs/mdbook/default.nix
index a75c0b5e..0659d257 100644
--- a/docs/mdbook/default.nix
+++ b/docs/mdbook/default.nix
@@ -348,8 +348,7 @@ pkgs.stdenv.mkDerivation (finalAttrs: {
   contributing = finalAttrs.passthru.fix-links ../../CONTRIBUTING.md;
 
   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/* ./
@@ -388,9 +387,9 @@ pkgs.stdenv.mkDerivation (finalAttrs: {
       --replace-fail "@USER_CONFIGS@" "$(cat ${finalAttrs.passthru.user-configs})"
 
     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;
diff --git a/flake/dev/devshell.nix b/flake/dev/devshell.nix
index 3477df31..d076906d 100644
--- a/flake/dev/devshell.nix
+++ b/flake/dev/devshell.nix
@@ -108,7 +108,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})
               '';
             }
             {