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.
---
 doc/mkdocdeps.py | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/mkdocdeps.py')

diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py
index 2f4a9596..e61bea60 100644
--- a/doc/mkdocdeps.py
+++ b/doc/mkdocdeps.py
@@ -6,8 +6,11 @@ outfile = argv[3]
 execfile(conffile)
 
 roff_files = []
+rst_files = []
 out=open(outfile,'w')
 for page in man_pages:
+    rst_files = rst_files + ["doc/{0:s}.rst".format(page[0])]
     roff_files = roff_files + ["{0:s}/man/{1:s}.{2:d}".format(builddir,page[1],page[4])]
 
 out.write ('MAN_ROFF_FILES := ' + ' \\\n\t'.join(roff_files)+'\n')
+out.write ('MAN_RST_FILES := ' + ' \\\n\t'.join(rst_files)+'\n')
-- 
cgit v1.2.3