Merge pull request #2313 from kennytm/mdbook010

GitHub pages: Update mdbook to 0.1, and disable section numbering.

Author: aturon

.travis.yml

@@ -7,7 +7,7 @@ before_install:
   - git --version
 script:
   - rev=$(git rev-parse --short HEAD)
-  - (cargo install mdbook --vers 0.0.26 --force || true)
+  - (cargo install mdbook --vers '^0.1.0' --force || true)
   - ./generate-book.sh
   - cd book
   - git init

book.toml

@@ -0,0 +1,2 @@
+[output.html]
+no-section-label = true