From 6d1537ac5e528db9e91cf905f507bb409e546d2c Mon Sep 17 00:00:00 2001
From: Dmitry Shachnev <mitya57@gmail.com>
Date: Fri, 12 Jan 2018 14:54:19 +0300
Subject: docs: Remove references to header_id.md page.

The page was removed along with the extension in 1127013.

Also ensure any future MkDocs warnings cause the build to fail in the tests
so we don't introduce similar errors in the future.
---
 checkspelling.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checkspelling.sh')

diff --git a/checkspelling.sh b/checkspelling.sh
index ac794f7..acd504e 100755
--- a/checkspelling.sh
+++ b/checkspelling.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 echo "Building docs..."
-mkdocs build
+mkdocs build --strict
 if [ $? -ne 0 ]; then
     exit 1
 fi
-- 
cgit v1.2.3