mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-12-27 03:41:41 +01:00
14 lines
316 B
Python
14 lines
316 B
Python
|
from sys import argv
|
||
|
|
conffile = argv[1]
|
||
|
|
builddir = argv[2]
|
||
|
|
outfile = argv[3]
|
||
|
|
|
||
|
|
execfile(conffile)
|
||
|
|
|
||
|
|
roff_files = []
|
||
|
|
out=open(outfile,'w')
|
||
|
|
for page in man_pages:
|
||
|
|
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')
|