projects / notmuch.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fed673) | patch
doc: build man pages at build time; introduce HAVE_SPHINX, HAVE_RST2MAN
authorDavid Bremner <david@tethera.net>
Thu, 13 Mar 2014 03:21:14 +0000 (00:21 -0300)
committerDavid Bremner <david@tethera.net>
Tue, 18 Mar 2014 10:38:57 +0000 (07:38 -0300)
commit9d9a700f1de6352b4f51a00ab80f2fcd70da050d
tree639ac019896790b78a86e4443e607f1e5706aa41tree | snapshot
parent3fed6736a7ef8b8b1f05d0fabb136bdd3b5917eecommit | diff
doc: build man pages at build time; introduce HAVE_SPHINX, HAVE_RST2MAN

This helps avoid build artifacts (namely, nroff and gzipped-nroff man
pages) owned by root.

The variables allow choosing which generator to use for the man page.
These will be hooked to configure in a following commit.
Makefile.local diff | blob | history
doc/Makefile.local diff | blob | history
doc/mkdocdeps.py diff | blob | history
Thread-based e-mail indexer, supporting quick search and tagging