Skip to content

Commit

Permalink
CI: Remove workaround for mdBook issue
Browse files Browse the repository at this point in the history
rust-lang/mdBook#789 has been fixed and this was working locally without
the `ignore-url`.
  • Loading branch information
phansch committed Jan 27, 2020
1 parent 103e146 commit b778f53
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions ci/script.sh
Original file line number Diff line number Diff line change
Expand Up @@ -4,15 +4,13 @@ main() {
mdbook build
mdbook test

# FIXME(rust-lang/mdbook#789) remove `--ignore-url` when that bug is fixed
linkchecker --ignore-url "print.html" book
linkchecker book

# now check this as a directory of the bookshelf
rm -rf shelf
mkdir shelf
mv book shelf
# FIXME(rust-lang/mdbook#789) remove `--ignore-url` when that bug is fixed
linkchecker --ignore-url "print.html" shelf
linkchecker shelf

mv shelf/book .
rmdir shelf
Expand Down

0 comments on commit b778f53

Please sign in to comment.