doc: make docs build

Addresses this comment:
https://github.com/rust-lang/rust/pull/16721#issuecomment-53946624