diff --git a/Makefile b/Makefile index b586c0053..0b724b394 100644 --- a/Makefile +++ b/Makefile @@ -39,4 +39,7 @@ man: html: $(MAKE) FAIL_WARN=$(FAIL_WARN) -C docs html +linkcheck: + $(MAKE) FAIL_WARN=$(FAIL_WARN) -C docs linkcheck + docs: man html