X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=doc%2Fprerst2man.py;h=437dea99b6e520697daff811009b890edd7abb2d;hb=523f06a0add737aa0577f43c319f069bc0ff10f3;hp=459126454a335f24dab05d4ee2048b1f5a0ec113;hpb=4430b14106ce0d43c9f0387d442b50da370951e0;p=notmuch diff --git a/doc/prerst2man.py b/doc/prerst2man.py index 45912645..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,5 +59,5 @@ for page in man_pages: outfile.write("".join(lines)) outfile.close() - os.system('set -x; rst2man {0} {1}/{2}.{3}' - .format(filename, outdir, page[0],page[4])) + system('set -x; rst2man {0} {1}/{2}.{3}' + .format(filename, outdir, page[0], page[4]))