From 084bacc4a4eddc83efd7b2a71f3e6be95a898a44 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 92129f78514..cc7fef1d7b2 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