diff --git a/Makefile b/Makefile index ad4e4722b..b586c0053 100644 --- a/Makefile +++ b/Makefile @@ -38,3 +38,5 @@ man: html: $(MAKE) FAIL_WARN=$(FAIL_WARN) -C docs html + +docs: man html