X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=doc%2Fprerst2man.py;h=437dea99b6e520697daff811009b890edd7abb2d;hb=4499c07531787e7d0258f8384ff5e518d18b6bd6;hp=720deb682d49beacad8883d86e358fd81d2bd51b;hpb=df70fc4b4b7295f9f5c512c5e1e5c8c46a620944;p=notmuch diff --git a/doc/prerst2man.py b/doc/prerst2man.py index 720deb68..437dea99 100644 --- a/doc/prerst2man.py +++ b/doc/prerst2man.py @@ -8,7 +8,7 @@ sourcedir = argv[1] outdir = argv[2] if not isdir(outdir): - makedirs(outdir, 0755) + makedirs(outdir, 0o755) execfile(sourcedir + "/conf.py") @@ -34,7 +34,7 @@ blankre = re.compile("^\s*$") for page in man_pages: outdirname = outdir + '/' + dirname(page[0]) if not isdir(outdirname): - makedirs(outdirname, 0755) + makedirs(outdirname, 0o755) filename = outdir + '/' + page[0] + '.rst' outfile = open(filename, 'w') infile = open(sourcedir + '/' + page[0] + '.rst', 'r') @@ -59,4 +59,5 @@ for page in man_pages: outfile.write("".join(lines)) outfile.close() - os.system('set -x; rst2man {0} {1}'.format(filename, outdir + '/' + page[0] + '.' + str(page[4]))) + system('set -x; rst2man {0} {1}/{2}.{3}' + .format(filename, outdir, page[0], page[4]))