X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=doc%2Fmkdocdeps.py;h=b87fe3e80c0fdc395a1efc4d8e6e892c829bf095;hp=2f4a9596fee19bb70f2e75aa6da5bea2ccb07787;hb=a7a683b120ea8be1fe619d12a7d8a201de0652e6;hpb=6f8daa39895c600180530618abc0eb86d56500d0

diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py
index 2f4a9596..b87fe3e8 100644
--- a/doc/mkdocdeps.py
+++ b/doc/mkdocdeps.py
@@ -1,13 +1,18 @@
-from sys import argv
-conffile = argv[1]
-builddir = argv[2]
-outfile = argv[3]
+import sys
 
-execfile(conffile)
+srcdir = sys.argv[1]
+builddir = sys.argv[2]
+outfile = sys.argv[3]
+
+sys.path.insert(0, srcdir)
+import conf
 
 roff_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 = []
+for page in conf.man_pages:
+    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')
+with open(outfile, 'w') as out:
+    out.write('MAN_ROFF_FILES := ' + ' \\\n\t'.join(roff_files) + '\n')
+    out.write('MAN_RST_FILES := ' + ' \\\n\t'.join(rst_files) + '\n')