8 Commits

Author	SHA1	Message	Date
Pietro Albini	394b953598	ci: update travis config to use shared infra snippets ... This commit changes the Travis configuration to use the shared infra configuration to upload the build to GitHub pages. This has a few advantages: - The repository will benefit from improvements made to the shared configuration without needing any change. - The history of the gh-pages branch will be overridden each build, reducing the clutter.	2019-10-18 14:22:31 +02:00
Corey Farwell	832dcd05b3	Bump mdbook: 0.1 -> 0.2. ... Confirmed locally that 0.2 builds the book fine.	2019-03-30 12:13:55 +01:00
Tim Neumann	1b06354403	Disable jekyll	2018-06-10 19:44:49 +02:00
kennytm	00446ff661	Update mdbook to 0.1.0, and disable section numbering.	2018-01-27 15:01:55 +08:00
Carol (Nichols || Goulding)	f17b26e4f1	Use a released version of mdbook rather than from github	2017-11-17 09:42:40 -05:00
Carol (Nichols || Goulding)	c3c92eb2a2	Use a deploy key instead of a personal access token	2017-10-31 11:49:00 -04:00
Corey Farwell	10a6334995	Move mdbook generation into separate script.	2017-10-30 21:25:26 -04:00
Corey Farwell	e6afcba890	Publish RFCs as mdbook to GitHub pages. ... Spoke with someone at Rust Belt Rust who mentioned this idea (@mre 👋) and decided to take a stab at it. I originally implemented this upstream in the Rust source repository (by adding a git submodule and dynamically generating the contents of the book there). But then then I spoke with @steveklabnik and agreed that doing it in CI in this repository would be a lot easier.	2017-10-27 21:45:23 -04:00