From: James Munns Date: Thu, 10 Jan 2019 20:18:13 +0000 (+0100) Subject: No consumers of MdBook2 yet X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=b98a1e17102630c03051b8fd20b4c6ea4b3185ed;p=rust.git No consumers of MdBook2 yet --- diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index c428f29d706..08e97396fd6 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -71,6 +71,10 @@ fn run(self, builder: &Builder) { #[derive(Debug, Copy, Clone, Hash, PartialEq, Eq)] enum RustbookVersion { MdBook1, + + /// Note: Currently no books use mdBook v2, but we want the option + /// to be available + #[allow(dead_code)] MdBook2, }