Meta/Dothem: enable check-docs

diff --git a/Dothem b/Dothem
index 84b620c67162d2bd6b31cbf26c7052ba428ec331..82cca97a96ac261b31f122dbb0ec194251d7fa55 100755 (executable)
--- 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