Fix make-install and make-dist when --disable-docs is set #19896

Merged

bors merged 1 commit intorust-lang:masterfrom

ktossell:allow-nodoc-install

Dec 18, 2014

Commits on Dec 18, 2014

Only try to install the doc directory if it exists.
ktossell
committed