diff options
| author | Robin Gloster <mail@glob.in> | 2017-03-30 23:19:57 +0200 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2017-06-13 13:16:50 +0200 |
| commit | 04d4d14d6d1662526a42234f4500f1161cb7936d (patch) | |
| tree | 5c6fbb3ece29b67a85186d18b3c85a8787a2d2ae /pkgs/tools/text/gawk | |
| parent | 4182fc36b6dba891099c51ecc27748a975c5c373 (diff) | |
gawk: link gawk manpage to awk
Diffstat (limited to 'pkgs/tools/text/gawk')
| -rw-r--r-- | pkgs/tools/text/gawk/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/tools/text/gawk/default.nix b/pkgs/tools/text/gawk/default.nix index 3a504e9478ca..baaf7d4bb3bd 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/; |