build: do not touch roff files after sphinx-build
[notmuch] / doc / mkdocdeps.py
1 import sys
2
3 srcdir = sys.argv[1]
4 builddir = sys.argv[2]
5 outfile = sys.argv[3]
6
7 sys.path.insert(0, srcdir)
8 import conf
9
10 roff_files = []
11 rst_files = []
12 for page in conf.man_pages:
13     rst_files = rst_files + ["{0:s}/{1:s}.rst".format(srcdir,page[0])]
14     roff_files = roff_files + ["{0:s}/man/{1:s}.{2:d}".format(builddir,page[0],page[4])]
15
16 with open(outfile, 'w') as out:
17     out.write('MAN_ROFF_FILES := ' + ' \\\n\t'.join(roff_files) + '\n')
18     out.write('MAN_RST_FILES := ' + ' \\\n\t'.join(rst_files) + '\n')