message: Attempt to fix the documentation CI.
diff: @@ -47,11 +47,12 @@ script:
  - if [ "$CLIPPY" = "yes" ]; then
  cargo clippy --all -- --cfg clippy;
  elif [ "$DOCS" = "yes" ]; then
  + cargo clean;
  cargo doc --all --no-deps;
  cd book;
  mdbook build;
  cd ..;
  - cp -r book/book target/doc/book;
  + cp -r book/book/ target/doc/book/;
  travis-cargo doc-upload || true;
  else
  cargo build --release;
  