mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-12-01 07:04:10 +01:00
427b3db243
Before this patch, the open was unnecessarily early and relied on the process cleanup to close. Neither one of these was a real problem, but PEP 343's context managers (which landed in Python 2.5) make proper cleanup very easy. [1]: http://legacy.python.org/dev/peps/pep-0343/
18 lines
513 B
Python
18 lines
513 B
Python
import sys
|
|
|
|
srcdir = sys.argv[1]
|
|
builddir = sys.argv[2]
|
|
outfile = sys.argv[3]
|
|
|
|
sys.path.insert(0, srcdir)
|
|
import conf
|
|
|
|
roff_files = []
|
|
rst_files = []
|
|
for page in conf.man_pages:
|
|
rst_files = rst_files + ["{0:s}/{1:s}.rst".format(srcdir,page[0])]
|
|
roff_files = roff_files + ["{0:s}/man/{1:s}.{2:d}".format(builddir,page[0],page[4])]
|
|
|
|
with open(outfile, 'w') as out:
|
|
out.write('MAN_ROFF_FILES := ' + ' \\\n\t'.join(roff_files) + '\n')
|
|
out.write('MAN_RST_FILES := ' + ' \\\n\t'.join(rst_files) + '\n')
|