From: Pascal Cotret <pascal.cotret@gmail.com>
Date: Sat, 29 Dec 2018 15:49:32 +0000 (+0100)
Subject: Cannot build docs
X-Git-Url: https://git.ralfj.de/rust-101.git/commitdiff_plain/17f70b80eaa7615c07d3c94861e5177d417df0c0?ds=sidebyside;hp=17f70b80eaa7615c07d3c94861e5177d417df0c0

Cannot build docs

In an issue, @chinanf-boy gave some hints to repare this script in order to build docs: https://github.com/RalfJung/rust-101/issues/23#issuecomment-427308420
Here is a pull request with his codes.
---