From bfa812b40138469ebe5bc3e306da79aa6b050e48 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Wed, 12 Feb 2020 07:40:58 +0100
Subject: [nix] Fix building of the documentation

The interpreter directive of “doc/stdlib/make-library-index” must be patched.
---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ";
-- 
cgit v1.2.3