[Makefile] add 'docs' make target for documentation builds

This commit is contained in:
Chris Simpkins 2020-04-20 13:35:08 -04:00
parent d924b8a6d4
commit 4bfcad5f8e
No known key found for this signature in database
GPG Key ID: 0D0218A71C9DEB09

View File

@ -19,4 +19,7 @@ check: all
clean: clean:
./setup.py clean --all ./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