install: don't install man page twice
authorBen Noordhuis <info@bnoordhuis.nl>
Sat, 16 Mar 2013 22:18:50 +0000 (23:18 +0100)
committerBen Noordhuis <info@bnoordhuis.nl>
Sat, 16 Mar 2013 22:22:10 +0000 (23:22 +0100)
commit2b5bc8e0d60209679d6b17de97e1f8ef29434aa4
treef58a788bd40bf705158011fd670c1724e9a8304a
parent4432dc81879eddb39aee6aee19c525f53e2f4250
install: don't install man page twice

Looks like a merge conflict in 77ed12f left in the old, unconditional
install rule. Remove it, the new and improved rule is a few lines down.

Fixes #5044.
tools/install.py