From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 18 Oct 2021 22:25:31 +0000 (-0700)
Subject: Meta/Dothem: enable check-docs
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5ec7e19bc3e120d0dcf8caaf724cf5274001384a;p=thirdparty%2Fgit.git

Meta/Dothem: enable check-docs
---

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