mirror of
https://git.notmuchmail.org/git/notmuch
synced 2025-03-16 20:45:14 +01:00
df70fc4b4b
Many people have docutils installed, but not sphinx. Allow these people to build the man pages.
34 lines
826 B
Makefile
34 lines
826 B
Makefile
# -*- makefile -*-
|
|
|
|
dir := doc
|
|
|
|
# You can set these variables from the command line.
|
|
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
|
|
|
|
sphinx-man:
|
|
$(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(DOCBUILDDIR)/man
|
|
|
|
sphinx-texinfo:
|
|
$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(DOCBUILDDIR)/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)
|