diff options
author | Simon McVittie <smcv@collabora.com> | 2018-05-04 17:14:11 +0100 |
---|---|---|
committer | Simon McVittie <smcv@collabora.com> | 2018-05-04 17:14:11 +0100 |
commit | c50a1c9fc86c598d49ea85f7c383777ab165c9a1 (patch) | |
tree | 516da1cd6c0a06477f2f974e8b536d62b091ed2c | |
parent | c57180785096f4271d45ccb1488086c468abcec1 (diff) |
Revert "Generate a devhelp index for the HTML documentation"
This reverts commit c57180785096f4271d45ccb1488086c468abcec1. The devhelp
mode produces different HTML, and currently breaks Debian's dh_sphinxdoc.
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 97a1c39..fd480d4 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 devhelp $(abs_top_srcdir)/doc doc/_build + $(PYTHON) -m sphinx -b html $(abs_top_srcdir)/doc doc/_build touch $@ maintainer-update-website: doc/_build/.stamp |