CI: Remove workaround for mdBook issue

rust-lang/mdbook#789 has been fixed and this was working locally without
the `ignore-url`.
This commit is contained in:
Philipp Hansch
2020-01-27 07:27:17 +01:00
parent 103e14698e
commit b778f530cc

View File

@@ -4,15 +4,13 @@ main() {
mdbook build mdbook build
mdbook test mdbook test
# FIXME(rust-lang/mdbook#789) remove `--ignore-url` when that bug is fixed linkchecker book
linkchecker --ignore-url "print.html" book
# now check this as a directory of the bookshelf # now check this as a directory of the bookshelf
rm -rf shelf rm -rf shelf
mkdir shelf mkdir shelf
mv book shelf mv book shelf
# FIXME(rust-lang/mdbook#789) remove `--ignore-url` when that bug is fixed linkchecker shelf
linkchecker --ignore-url "print.html" shelf
mv shelf/book . mv shelf/book .
rmdir shelf rmdir shelf