summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 367987affc..82605dd9db 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