Merge branch 'js/perf-rebase-i'

diff --git a/Makefile b/Makefile
index bc3d41ebf34ec0deec8576757491d663afe22ca6..0d59718bf72a8f033f2d2a5be7d260b52039408e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2483,6 +2483,7 @@ ALL_COMMANDS += git-gui git-citool
 
 .PHONY: check-docs
 check-docs::
+       $(MAKE) -C Documentation lint-docs
        @(for v in $(ALL_COMMANDS); \
        do \
                case "$$v" in \