Comment 21 for bug 1242108

Revision history for this message
Mike Chelen (mchelen) wrote :

Here is a little one line bash script to download & extract the needed files to the man directory:

wget -qO- "http://downloads.sourceforge.net/project/zsh/zsh/5.0.2/zsh-5.0.2.tar.gz?r=http%3A%2F%2Fsourceforge.net%2Fprojects%2Fzsh%2Ffiles%2Fzsh%2F5.0.2%2F&ts=1407408881&use_mirror=superb-dca3" | sudo tar xvz -C /usr/share/man/man1/ --wildcards "zsh-5.0.2/Doc/*.1" --strip-components=2 && sudo chown root:root /usr/share/man/man1/zsh*.1

https://gist.github.com/mchelen/60b2853bf84117088662#file-gistfile1-sh-L6

It's not very pretty, but it works.