Prevent failure in case no space left on device in rustdoc#59734

Merged

bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:improve-rustdoc-failure

Apr 26, 2019

+4-3

Commits on Apr 24, 2019

Prevent failure in case no space left on device in rustdoc
GuillaumeGomez
committed