message: Upgrade to mdBook v0.3.7
diff: @@ -98,7 +98,7 @@ jobs:
  - bash: |
  set -e
  mkdir mdbook
  - curl -Lf https://github.com/rust-lang-nursery/mdBook/releases/download/v0.3.1/mdbook-v0.3.1-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
  + curl -Lf https://github.com/rust-lang-nursery/mdBook/releases/download/v0.3.7/mdbook-v0.3.7-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
  echo "##vso[task.prependpath]`pwd`/mdbook"
  displayName: "Install mdbook"
  - bash: cargo doc --no-deps
  