From 5ec7e19bc3e120d0dcf8caaf724cf5274001384a Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 18 Oct 2021 15:25:31 -0700
Subject: [PATCH] Meta/Dothem: enable check-docs

---
 Dothem | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dothem b/Dothem
index 84b620c671..82cca97a96 100755
--- a/Dothem
+++ b/Dothem
@@ -216,6 +216,7 @@ do
 			test -n "$skip_doc" ||
 			if test "$save" = "$(git rev-parse HEAD)"
 			then
+				Meta/Make $M $jobs -- check-docs &&
 				Meta/Make $M $jobs -- doc &&
 				Meta/Make $M -- install-man install-html
 			else
-- 
2.47.3