mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-28 21:54:10 +01:00
6f8daa3989
The python script mkdocdeps.py is used to import the list of man pages from the sphinx configuration to make. This will delete the (release only) target update-man-versions. This will be replaced in a followup commit.
13 lines
316 B
Python
13 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')
|