From e79d52d2ce12145cd6fd0784a8720e95a9196368 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 6 Aug 2021 13:21:32 +0200
Subject: [PATCH] chore: Nix: reduce doc/doc-test sources

---
 nix/packages.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/nix/packages.nix b/nix/packages.nix
index 1d7b54d989..98f38234e2 100644
--- a/nix/packages.nix
+++ b/nix/packages.nix
@@ -78,16 +78,16 @@ let
   });
   doc = stdenv.mkDerivation {
     name ="lean-doc";
-    src = ../.;
+    src = ../doc;
     buildInputs = [ lean-mdbook ];
     buildCommand = ''
-      mdbook build -d $out $src/doc
+      mdbook build -d $out $src
     '';
   };
   # We use a separate derivation instead of `checkPhase` so we can push it but not `doc` to the binary cache
   doc-test = stdenv.mkDerivation {
     name ="lean-doc-test";
-    src = ../.;
+    src = lib.sourceByRegex ../. ["doc.*" "tests(/lean(/beginEndAsMacro.lean)?)?"];
     buildInputs = [ lean-mdbook lean.stage1.Leanpkg.lean-package strace ];
     patchPhase = ''
       cd doc