Commit Graph

25 Commits

Author SHA1 Message Date
Mark Mansi 2d8434cec3 remove all the hacks, add some improvements 2019-11-05 11:58:33 -06:00
Michael Bryan 589a4a2ea7 Updated the mdbook-linkcheck version 2019-09-05 17:03:24 -05:00
Who? Me?! d08d2dfd15 Update install.sh 2019-07-19 11:37:20 -05:00
Who? Me?! d7997f6a87 Update mdbook 2019-07-19 11:37:20 -05:00
Who? Me?! 2f87467366 Update to mdbook-linkcheck 0.3.0 2019-06-24 09:52:03 -05:00
Who? Me?! 18feeb66aa Update mdbook 2019-06-24 09:52:03 -05:00
Mark Mansi 0e93af6741 update mdbook 2019-03-01 17:16:50 -06:00
Who? Me?! 8cf8cc3f34 Don't keep recompiling! 2018-11-09 19:37:59 -06:00
Mark Mansi c3b0985d18 use the right version of mdbook linkcheck 2018-09-21 15:54:25 -05:00
Mark Mansi 5fa59f4c50 use new mdbook-linkcheck version 2018-09-21 15:54:25 -05:00
Mark Mansi 013d50c41f use mdbook 0.2 2018-09-21 15:54:25 -05:00
Eric Huss b52a3f6659 Update mdbook
Closes #138
Closes #160
2018-07-09 21:35:58 -05:00
Mark Mansi acd4c9ba37 update to mdbook 0.1.7 2018-05-08 12:44:02 -05:00
Alexander Regueiro 95092971ab Added check for all source files to ensure they have no lines longer than 80 chars. 2018-03-26 20:28:00 -05:00
Eric Huss 6723308d21 Add mdbook search. 2018-03-22 13:55:55 -05:00
Niko Matsakis 3077566265 bump mdbook to 0.1.5 2018-03-19 10:41:23 -05:00
Eric Huss 723222974d Force mdbook update on CI if there is a version mismatch.
Fixes #58.
2018-02-17 22:35:40 -06:00
Michael Bryan a9a76280f4 Removed ghp-import and run mdbook build unconditionally 2018-01-31 14:13:10 -05:00
Michael Bryan 3f34f0c94e Updated CI to install and use mdbook-linkcheck 2018-01-31 14:13:10 -05:00
Niko Matsakis 6fa9b703bf try pip install --user 2018-01-23 16:36:56 -05:00
Niko Matsakis 119f734fc0 invert the sense of `command -v` 2018-01-23 10:59:11 -05:00
Niko Matsakis 573f858c72 make install.sh tell us what it is installing and why 2018-01-23 10:55:23 -05:00
Niko Matsakis 864a71fda0 improvements to travis setup -- cache, use command -v 2018-01-19 14:48:39 -05:00
Niko Matsakis 246dee63e4 invoke `cargo` to install mdbook 2018-01-19 07:28:19 -05:00
Michael Bryan dd24d7244d Created a couple basic CI scripts 2018-01-17 12:30:45 +08:00