]> git.lizzy.rs Git - rust.git/commitdiff
rollup merge of #20380: dcrewi/fix-make-install
authorAlex Crichton <alex@alexcrichton.com>
Fri, 2 Jan 2015 17:22:22 +0000 (09:22 -0800)
committerAlex Crichton <alex@alexcrichton.com>
Fri, 2 Jan 2015 17:22:22 +0000 (09:22 -0800)
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.


Trivial merge