X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=doc%2Fmkdocdeps.py;h=71bd1356e5160368038bb0b0ab24f4f40a07139d;hb=57b4ef6f30d41cd14aa570b329841fc2082260ff;hp=2f4a9596fee19bb70f2e75aa6da5bea2ccb07787;hpb=6f8daa39895c600180530618abc0eb86d56500d0;p=notmuch diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py index 2f4a9596..71bd1356 100644 --- a/doc/mkdocdeps.py +++ b/doc/mkdocdeps.py @@ -1,13 +1,17 @@ from sys import argv -conffile = argv[1] +srcdir = argv[1] builddir = argv[2] outfile = argv[3] -execfile(conffile) +execfile(srcdir + '/conf.py') + roff_files = [] +rst_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 = 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') +out.write ('MAN_RST_FILES := ' + ' \\\n\t'.join(rst_files)+'\n')