Auto merge of #4541 - raytung:update-man-page, r=carols10cents
authorbors <bors@rust-lang.org>
Wed, 27 Sep 2017 16:02:44 +0000 (16:02 +0000)
committerbors <bors@rust-lang.org>
Wed, 27 Sep 2017 16:02:44 +0000 (16:02 +0000)
Recover lost man changes

Recover lost man changes per @carols10cents's comment in #2689


Trivial merge