From 9d9a700f1de6352b4f51a00ab80f2fcd70da050d Mon Sep 17 00:00:00 2001
From: David Bremner <david@tethera.net>
Date: Thu, 13 Mar 2014 00:21:14 -0300
Subject: 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.local')

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
-- 
cgit v1.2.3