From 6e716b177e280c9aa9cba9f7f6b564913c6ea7ed Mon Sep 17 00:00:00 2001
From: Brian Coca <brian.coca+git@gmail.com>
Date: Mon, 25 Jan 2016 10:33:50 -0500
Subject: [PATCH] add webdocs as alias

---
 docsite/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docsite/Makefile b/docsite/Makefile
index 15347f84bf9..2b87827c597 100644
--- a/docsite/Makefile
+++ b/docsite/Makefile
@@ -20,6 +20,8 @@ viewdocs: clean staticmin
 htmldocs: staticmin
 	./build-site.py rst
 
+webdocs: htmldocs
+
 clean:
 	-rm -rf htmlout
 	-rm -f .buildinfo