diff options
author | David Bremner <david@tethera.net> | 2014-03-13 00:21:14 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2014-03-18 07:38:57 -0300 |
commit | 9d9a700f1de6352b4f51a00ab80f2fcd70da050d (patch) | |
tree | 639ac019896790b78a86e4443e607f1e5706aa41 /Makefile.local | |
parent | 3fed6736a7ef8b8b1f05d0fabb136bdd3b5917ee (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.
Diffstat (limited to 'Makefile.local')
-rw-r--r-- | Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.local b/Makefile.local index 5f797ad0..cb7b1061 100644 --- a/Makefile.local +++ b/Makefile.local @@ -53,7 +53,7 @@ endif FINAL_LIBNOTMUCH_LDFLAGS = $(LDFLAGS) $(AS_NEEDED_LDFLAGS) $(CONFIGURE_LDFLAGS) .PHONY: all -all: notmuch notmuch-shared +all: notmuch notmuch-shared build-man ifeq ($(MAKECMDGOALS),) ifeq ($(shell cat .first-build-message 2>/dev/null),) @NOTMUCH_FIRST_BUILD=1 $(MAKE) --no-print-directory all |