dump: support gzipped and atomic output

[notmuch] / doc / prerst2man.py

diff --git a/doc/prerst2man.py b/doc/prerst2man.py
index 720deb682d49beacad8883d86e358fd81d2bd51b..459126454a335f24dab05d4ee2048b1f5a0ec113 100644 (file)
--- a/doc/prerst2man.py
+++ b/doc/prerst2man.py
@@ -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])))
+    os.system('set -x; rst2man {0} {1}/{2}.{3}'
+              .format(filename, outdir, page[0],page[4]))