From c57180785096f4271d45ccb1488086c468abcec1 Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@collabora.com>
Date: Thu, 3 May 2018 14:59:58 +0100
Subject: Generate a devhelp index for the HTML documentation

Signed-off-by: Simon McVittie <smcv@collabora.com>
---
 Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index fd480d4..97a1c39 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -427,7 +427,7 @@ doc/_build/.stamp: $(nobase_python_PYTHON) \
 	abs_top_srcdir='$(abs_top_srcdir)' \
 	abs_top_builddir='$(abs_top_builddir)' \
 	DBUS_PYTHON_NO_DEPRECATED=1 \
-	$(PYTHON) -m sphinx -b html $(abs_top_srcdir)/doc doc/_build
+	$(PYTHON) -m sphinx -b devhelp $(abs_top_srcdir)/doc doc/_build
 	touch $@
 
 maintainer-update-website: doc/_build/.stamp
-- 
cgit v1.2.1