From 102d325350b5ec465979d045af8ad33e80d31dc5 Mon Sep 17 00:00:00 2001
From: Mike McLean <mikem@redhat.com>
Date: Fri, 6 May 2016 12:51:10 -0400
Subject: [PATCH] re-add install target to docs

Fixes https://pagure.io/koji/pull-request/2

Needed this adjustment to the Makefile to avoid breaking the build
---
 docs/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/Makefile b/docs/Makefile
index 5709e83c..37fc4137 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -10,6 +10,7 @@ BUILDDIR      = build
 # User-friendly check for sphinx-build
 ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1)
 $(error The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed, then set the SPHINXBUILD environment variable to point to the full path of the '$(SPHINXBUILD)' executable. Alternatively you can add the directory with the executable to your PATH. If you don't have Sphinx installed, grab it from http://sphinx-doc.org/)
+#' <- avoids bad syntax highlighting
 endif
 
 # Internal variables.
@@ -49,6 +50,11 @@ help:
 clean:
 	rm -rf $(BUILDDIR)/*
 
+# nothing to install for docs, we package from this dir
+install:
+	@echo "(no install for docs dir)"
+
+
 html:
 	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
 	@echo