X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=doc%2Fprerst2man.py;h=968722a1c750c620e24e1d5869269930bd3e5b96;hb=71fb37d48236e49b64e300c3764c0e17e02c8f9e;hp=459126454a335f24dab05d4ee2048b1f5a0ec113;hpb=4430b14106ce0d43c9f0387d442b50da370951e0;p=notmuch

diff --git a/doc/prerst2man.py b/doc/prerst2man.py
index 45912645..968722a1 100644
--- a/doc/prerst2man.py
+++ b/doc/prerst2man.py
@@ -8,9 +8,10 @@ sourcedir = argv[1]
 outdir = argv[2]
 
 if not isdir(outdir):
-    makedirs(outdir, 0755)
+    makedirs(outdir, 0o755)
 
-execfile(sourcedir + "/conf.py")
+with open(sourcedir + "/conf.py") as cf:
+    exec(cf.read())
 
 
 def header(file, startdocname, command, description, authors, section):
@@ -34,7 +35,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 +60,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]))