From 04d4d14d6d1662526a42234f4500f1161cb7936d Mon Sep 17 00:00:00 2001
From: Robin Gloster <mail@glob.in>
Date: Thu, 30 Mar 2017 23:19:57 +0200
Subject: [PATCH] gawk: link gawk manpage to awk

---
 pkgs/tools/text/gawk/default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pkgs/tools/text/gawk/default.nix b/pkgs/tools/text/gawk/default.nix
index 3a504e9478c..baaf7d4bb3b 100644
--- a/pkgs/tools/text/gawk/default.nix
+++ b/pkgs/tools/text/gawk/default.nix
@@ -32,7 +32,10 @@ stdenv.mkDerivation rec {
   configureFlags = stdenv.lib.optional (stdenv.system != "x86_64-cygwin") "--with-libsigsegv-prefix=${libsigsegv}"
     ++ [(if interactive then "--with-readline=${readline.dev}" else "--without-readline")];
 
-  postInstall = "rm $out/bin/gawk-*";
+  postInstall = ''
+    rm $out/bin/gawk-*
+    ln -s $man/share/man/man1/gawk.1 $man/share/man/man1/awk.1
+  '';
 
   meta = with stdenv.lib; {
     homepage = http://www.gnu.org/software/gawk/;