Fix issue with rust's linkchecker and mdbook.#147

Merged

ehuss merged 1 commit intorust-lang:masterfrom

ehuss:fix-mdbook-rust-id

Feb 28, 2019

Commits on Feb 28, 2019

Fix issue with rust's linkchecker and mdbook.
ehuss
committed