5 # You can set these variables from the command line.
6 SPHINXOPTS := -q -c $(dir)
7 SPHINXBUILD = sphinx-build
8 DOCBUILDDIR := $(dir)/_build
10 prerst2man := python $(dir)/prerst2man.py
11 mkdocdeps := python $(dir)/mkdocdeps.py
14 ALLSPHINXOPTS := -d $(DOCBUILDDIR)/doctrees $(SPHINXOPTS) $(dir)
16 .PHONY: sphinx-html sphinx-man sphinx-texinfo sphinx-info
22 rm -f $@ && gzip --stdout $^ > $@
25 $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(DOCBUILDDIR)/html
28 $(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(DOCBUILDDIR)/man
31 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(DOCBUILDDIR)/texinfo
33 sphinx-info: sphinx-texinfo
34 make -C $(DOCBUILDDIR)/texinfo info
36 # fallback target in case sphinx not installed
38 $(prerst2man) $(DOCBUILDDIR)/.. $(DOCBUILDDIR)/man
40 -include $(dir)/docdeps.mk
42 MAN_GZIP_FILES := $(addsuffix .gz,${MAN_ROFF_FILES})
44 ${MAN_ROFF_FILES} : sphinx-man
46 install-man: ${MAN_GZIP_FILES}
47 mkdir -p "$(DESTDIR)$(mandir)/man1"
48 mkdir -p "$(DESTDIR)$(mandir)/man5"
49 mkdir -p "$(DESTDIR)$(mandir)/man7"
50 install -m0644 $(DOCBUILDDIR)/man/*.1.gz $(DESTDIR)/$(mandir)/man1
51 install -m0644 $(DOCBUILDDIR)/man/*.5.gz $(DESTDIR)/$(mandir)/man5
52 install -m0644 $(DOCBUILDDIR)/man/*.7.gz $(DESTDIR)/$(mandir)/man7
53 cd $(DESTDIR)/$(mandir)/man1 && ln -sf notmuch.1.gz notmuch-setup.1.gz
56 $(dir)/docdeps.mk: $(dir)/conf.py $(dir)/mkdocdeps.py
57 $(mkdocdeps) $< $(DOCBUILDDIR) $@
59 CLEAN := $(CLEAN) $(DOCBUILDDIR) $(dir)/docdeps.mk