diff --git a/Makefile b/Makefile index 367987affce..82605dd9db9 100644 --- a/Makefile +++ b/Makefile @@ -261,7 +261,9 @@ deb-src-upload: deb-src # for arch or gentoo, read instructions in the appropriate 'packaging' subdirectory directory -webdocs: $(MANPAGES) +webdocs: (cd docsite/; make docs) docs: $(MANPAGES) + +alldocs: docs webdocs