From cf66108f200f6b6eb75d47fdaf72f05684060a06 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sun, 4 Nov 2018 23:49:05 +0100
Subject: [PATCH] ignore print.html

to avoid errors caused by bug rust-lang-nursery/mdBook#789
---
 ci/script.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ci/script.sh b/ci/script.sh
index 8733939..bc54881 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -3,13 +3,15 @@ set -euxo pipefail
 main() {
     mdbook build
 
-    linkchecker book
+    # FIXME(rust-lang-nursery/mdbook#789) remove `--ignore-url` when that bug is fixed
+    linkchecker --ignore-url "print.html" book
 
     # now check this as a directory of the bookshelf
     rm -rf shelf
     mkdir shelf
     mv book shelf
-    linkchecker shelf
+    # FIXME(rust-lang-nursery/mdbook#789) remove `--ignore-url` when that bug is fixed
+    linkchecker --ignore-url "print.html" shelf
 
     mv shelf/book .
     rmdir shelf