diff options
| author | Vincent Laporte | 2020-02-12 07:40:58 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2020-02-12 10:42:53 +0100 |
| commit | bfa812b40138469ebe5bc3e306da79aa6b050e48 (patch) | |
| tree | bd88296dc97c95b8a303efd2f9fe7c12883ba48d /default.nix | |
| parent | 2a4d9569570584c300fcb19c3804fe07578eef12 (diff) | |
[nix] Fix building of the documentation
The interpreter directive of “doc/stdlib/make-library-index” must be patched.
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 174e199014..ae6a8d06e5 100644 --- a/default.nix +++ b/default.nix @@ -77,7 +77,7 @@ stdenv.mkDerivation rec { !elem (baseNameOf path) [".git" "result" "bin" "_build" "_build_ci" "nix"]) ./.; preConfigure = '' - patchShebangs dev/tools/ + patchShebangs dev/tools/ doc/stdlib ''; prefixKey = "-prefix "; |