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).
This commit is contained in:
Vladimír Čunát 2014-01-20 22:11:14 +01:00
parent ac6761c908
commit 204ec0cd43

View File

@ -768,7 +768,7 @@ fixupPhase() {
done done
for f in "$out"/share/man/*/* "$out"/share/man/*/*/*; do for f in "$out"/share/man/*/* "$out"/share/man/*/*/*; do
if [ -L "$f" -a -f `readlink -f "$f"`.gz ]; then if [ -L "$f" -a -f `readlink -f "$f"`.gz ]; then
ln -sf `readlink "$f"`.gz "$f" ln -sf `readlink "$f"`.gz "$f".gz && rm "$f"
fi fi
done done
unset GLOBIGNORE unset GLOBIGNORE