doc: add target rst2man to build man pages using rst2man

[notmuch] / doc / Makefile.local

diff --git a/doc/Makefile.local b/doc/Makefile.local
index ec23012537f4884b3aee7a1a6b32d608834652e1..471924736124af44a7138a3eb774530667d3e3ee 100644 (file)
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -7,10 +7,13 @@ SPHINXOPTS    := -q -c $(dir)
 SPHINXBUILD   = sphinx-build
 DOCBUILDDIR      := $(dir)/_build
 
+prerst2man := python $(dir)/prerst2man.py
+
 # Internal variables.
 ALLSPHINXOPTS   := -d $(DOCBUILDDIR)/doctrees $(SPHINXOPTS) $(dir)
 
 .PHONY: sphinx-html sphinx-man sphinx-texinfo sphinx-info
+.PHONY: rst2man
 
 sphinx-html:
        $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(DOCBUILDDIR)/html
@@ -24,4 +27,8 @@ sphinx-texinfo:
 sphinx-info: sphinx-texinfo
        make -C $(DOCBUILDDIR)/texinfo info
 
+# fallback target in case sphinx not installed
+rst2man:
+       $(prerst2man) $(DOCBUILDDIR)/.. $(DOCBUILDDIR)/man
+
 CLEAN := $(CLEAN) $(DOCBUILDDIR)