Vladimír Čunát 204ec0cd43 stdenv/setup.sh: add .gz extension to links to .gz man pages
The links weren't broken since 0a44a09, but man showed garbage.
Tested on several packages (sudo, dosfstools, xz).
2014-01-20 22:11:14 +01:00
..
2014-01-12 12:29:24 +01:00
2013-02-28 20:04:04 +01:00
2012-12-28 19:42:10 +01:00