From f77fe3f27daa9cfce0083f877c42b38d11aac3e3 Mon Sep 17 00:00:00 2001
From: "James D. Trotter" <james@simula.no>
Date: Fri, 5 Oct 2018 22:24:24 +0200
Subject: [PATCH] gnulib: add a symlink from bin/gnulib-tool to gnulib-tool

This makes gnulib-tool available in the user's path after installing gnulib.
---
 pkgs/development/tools/gnulib/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/development/tools/gnulib/default.nix b/pkgs/development/tools/gnulib/default.nix
index eeaec8eb0335..f7aad74cf9b5 100644
--- a/pkgs/development/tools/gnulib/default.nix
+++ b/pkgs/development/tools/gnulib/default.nix
@@ -14,6 +14,8 @@ stdenv.mkDerivation {
   installPhase = ''
     mkdir -p $out; mv * $out/
     ln -s $out/lib $out/include
+    mkdir -p $out/bin
+    ln -s $out/gnulib-tool $out/bin/
   '';
 
   meta = {