diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/default.nix | 2 | ||||
| -rw-r--r-- | doc/using/overlays.xml | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/doc/default.nix b/doc/default.nix index 543a3874170..25389fa2da7 100644 --- a/doc/default.nix +++ b/doc/default.nix @@ -15,7 +15,7 @@ in pkgs.stdenv.mkDerivation { xmlformat ]; - src = ./.; + src = lib.cleanSource ./.; makeFlags = [ "PANDOC_LUA_FILTERS_DIR=${pkgs.pandoc-lua-filters}/share/pandoc/filters" diff --git a/doc/using/overlays.xml b/doc/using/overlays.xml index 9ffbb4edd98..8bda235d43d 100644 --- a/doc/using/overlays.xml +++ b/doc/using/overlays.xml @@ -236,10 +236,11 @@ self: super: { blas = super.blas.override { blasProvider = self.mkl; - } + }; + lapack = super.lapack.override { lapackProvider = self.mkl; - } + }; } </programlisting> <para> |