message: Actually fixed JS
diff: @@ -16,7 +16,7 @@ cache:
  before_script:
  # TODO: Installing mdbook from crates.io takes quite a long time. This could
  # be reduced by downloading the release from GitHub directly.
  - - cargo install mdbook --vers '^0.3.0' --force
  + - mdbook -V || cargo install mdbook --vers '^0.3.0'
  script:
  - mdbook build
  branches:
  