diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |