rust-lang/rust — pull request #20380 by dcrewi (2014-12-31 23:35:40+00:00)
Title: fix "make install"

There seems to be a problem introduced by
8b3c67690c4747b9fadfef407e6261524fb03f8a that causes "make install"
to fail when the build is not configured to skip doc building.