5 Commits

Author SHA1 Message Date
Niko Matsakis
4f0a7a6a49 upgrade version of mdbook to match what I have locally =) 2018-02-04 07:26:50 -05:00
Niko Matsakis
68787fb781 install mdbook on CI 2018-02-04 07:13:27 -05:00
Niko Matsakis
e71cbf8a22 comment the purpose of the build-doc script 2018-02-04 06:42:49 -05:00
Niko Matsakis
742fa61cae tweak authorship and make the build-doc script run on mac 2018-02-04 06:41:49 -05:00
John-John Tedro
5aebcc1905 Adjust links to static resources and introduce build script for doc 2018-01-31 12:57:25 +01:00