From 4bfcad5f8e0af81b0d08be11121c846e8fb22988 Mon Sep 17 00:00:00 2001
From: Chris Simpkins <git.simpkins@gmail.com>
Date: Mon, 20 Apr 2020 13:35:08 -0400
Subject: [PATCH] [Makefile] add 'docs' make target for documentation builds

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

diff --git a/Makefile b/Makefile
index bd91d7f95..b2e3d96b7 100644
--- a/Makefile
+++ b/Makefile
@@ -19,4 +19,7 @@ check: all
 clean:
 	./setup.py clean --all
 
-.PHONY: all dist install install-user uninstall check clean
+docs:
+	cd Doc && $(MAKE) html
+
+.PHONY: all dist install install-user uninstall check clean docs