]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #19896 : ktossell/rust/allow-nodoc-install, r=alexcrichton
authorbors <bors@rust-lang.org>
Thu, 18 Dec 2014 20:32:07 +0000 (20:32 +0000)
committerbors <bors@rust-lang.org>
Thu, 18 Dec 2014 20:32:07 +0000 (20:32 +0000)
If you configure with `--disable-docs`, the `doc` directory does not get generated, so the
`cp -r doc dist/` step fails when you `make dist{,-tar-bins,-doc}` or `make install`.


Trivial merge