slight rearrangement of doc targets

2016-07-23 18:15:45 -04:00 · 2016-07-23 18:15:45 -04:00 · e6cd0dbaf3
parent 4065acc37d
commit e6cd0dbaf3
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -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