gawk: link gawk manpage to awk

This commit is contained in:
Robin Gloster 2017-03-30 23:19:57 +02:00
parent 4182fc36b6
commit 04d4d14d6d
No known key found for this signature in database
GPG Key ID: 5E4C836C632C2882

View File

@ -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/;