make docs now also builds html

(cherry picked from commit 2ed8b7f86e)
2018-03-15 12:20:22 -07:00 · 2018-03-15 12:20:22 -07:00 · fe83f251df
commit fe83f251df
parent 7bc3732bda
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -42,7 +42,7 @@ tag:
 	git tag -f $(TAG)

 docs:
-	$(MAKE) -C docs apidoc
+	$(MAKE) -C docs apidoc html

 archive:
 	@git archive --format=tar --prefix=$(PKGNAME)-$(VERSION)/ $(TAG) > $(PKGNAME)-$(VERSION).tar
@ -62,3 +62,5 @@ local:
 	@echo "The archive is in $(PKGNAME)-$(VERSION).tar.gz"

 ci: check test
+
+.PHONY: docs