From e6cd0dbaf3263730d2892dce0514438e45d624cd Mon Sep 17 00:00:00 2001
From: Brian Coca <brian.coca+git@gmail.com>
Date: Sat, 23 Jul 2016 18:15:45 -0400
Subject: [PATCH] slight rearrangement of doc targets

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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