Meta/Dothem: enable check-docs

2021-10-18 15:25:31 -07:00 · 2021-10-18 15:25:31 -07:00 · 5ec7e19bc3
parent 2d679f40c2
commit 5ec7e19bc3
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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