X-Git-Url: http://rtime.felk.cvut.cz/gitweb/notmuch.git/blobdiff_plain/6f8daa39895c600180530618abc0eb86d56500d0..ef5e66ae8e84fce75154417dd51be72f78ec1f45:/doc/mkdocdeps.py diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py index 2f4a9596..b87fe3e8 100644 --- a/doc/mkdocdeps.py +++ b/doc/mkdocdeps.py @@ -1,13 +1,18 @@ -from sys import argv -conffile = argv[1] -builddir = argv[2] -outfile = argv[3] +import sys -execfile(conffile) +srcdir = sys.argv[1] +builddir = sys.argv[2] +outfile = sys.argv[3] + +sys.path.insert(0, srcdir) +import conf 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])] +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])] -out.write ('MAN_ROFF_FILES := ' + ' \\\n\t'.join(roff_files)+'\n') +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')