Auto merge of #5486 - ehuss:deprecate-doc, r=matklad
authorbors <bors@rust-lang.org>
Sat, 5 May 2018 16:11:36 +0000 (16:11 +0000)
committerbors <bors@rust-lang.org>
Sat, 5 May 2018 16:11:36 +0000 (16:11 +0000)
commita24e8c667cc54925d5a4cff7caf1c91f924ae5f2
tree1f9c1e2c9b424c54d3134f601d91a448eb5aa840
parent556f80f3dc475a7851dd971e360f934be97d872c
parente881999fb332289bdd861b72aaed9cad3150c860
Auto merge of #5486 - ehuss:deprecate-doc, r=matklad

Deprecate `doc` profile.

Fixes #5434