Skip to content

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

Merged
bors merged 1 commit into
rust-lang:masterfrom
ktossell:allow-nodoc-install
Dec 18, 2014
Merged

Fix make-install and make-dist when --disable-docs is set #19896
bors merged 1 commit into
rust-lang:masterfrom
ktossell:allow-nodoc-install

Only try to install the doc directory if it exists.

cbf80f3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs