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 /doc/mkdocdeps.py | |
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 'doc/mkdocdeps.py')
-rw-r--r-- | doc/mkdocdeps.py | 3 |
1 files changed, 3 insertions, 0 deletions
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') |