X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=doc%2Fmkdocdeps.py;h=de1cbb8f2bedc59c5f5fc46280a7282f22e9503a;hb=b10b12da890d31819e411aec5158dca99359e830;hp=3effdd850c4b9993bdb6d86388e3d30b5308db64;hpb=533639b143202d333eb964aa0c6a860db0809344;p=notmuch diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py index 3effdd85..de1cbb8f 100644 --- a/doc/mkdocdeps.py +++ b/doc/mkdocdeps.py @@ -1,15 +1,17 @@ -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 = [] rst_files = [] out=open(outfile,'w') -for page in man_pages: - rst_files = rst_files + ["doc/{0:s}.rst".format(page[0])] +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')