add webdocs as alias

2026-05-06 13:22:48 +00:00 · 2016-01-25 10:33:50 -05:00
parent e79f3114d1
commit 6e716b177e
1 changed files with 2 additions and 0 deletions
--- 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