From 1840c2be506b3e4c221758941f6e85bd8526a76f Mon Sep 17 00:00:00 2001
From: Antoine du Hamel <duhamelantoine1995@gmail.com>
Date: Tue, 16 Feb 2021 15:35:44 +0100
Subject: [PATCH] tools: run doctool tests on GitHub Actions CI

---
 .github/workflows/misc.yml | 4 ++--
 Makefile                   | 5 +++++
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/misc.yml b/.github/workflows/misc.yml
index 2a50a2346a32a3..0a612249ab4d12 100644
--- a/.github/workflows/misc.yml
+++ b/.github/workflows/misc.yml
@@ -29,5 +29,5 @@ jobs:
         with:
           name: docs
           path: out/doc
-      - name: Check links
-        run: node tools/doc/checkLinks.js .
+      - name: Test
+        run: NODE=$(command -v node) make test-doc-ci
diff --git a/Makefile b/Makefile
index aa3eb1567d447e..060ddf7542874a 100644
--- a/Makefile
+++ b/Makefile
@@ -588,6 +588,11 @@ test-doc: doc-only lint-md ## Builds, lints, and verifies the docs.
 	fi
 	$(NODE) tools/doc/checkLinks.js .
 
+.PHONY: test-doc-ci
+test-doc-ci: doc-only
+	$(PYTHON) tools/test.py --shell $(NODE) $(PARALLEL_ARGS) doctool
+	$(NODE) tools/doc/checkLinks.js .
+
 test-known-issues: all
 	$(PYTHON) tools/test.py $(PARALLEL_ARGS) known_issues