From fe83f251dfd78c5449040b5bed6131d8df3507d3 Mon Sep 17 00:00:00 2001
From: "Brian C. Lane" <bcl@redhat.com>
Date: Thu, 15 Mar 2018 12:20:22 -0700
Subject: [PATCH] make docs now also builds html

(cherry picked from commit 2ed8b7f86e4103432599b62a1e7ee7d050425fb7)
---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9ef02c36..55709e45 100644
--- a/Makefile
+++ b/Makefile
@@ -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