aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--doc/mkdocdeps.py13
1 files changed, 7 insertions, 6 deletions
diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py
index 71bd1356..de1cbb8f 100644
--- a/doc/mkdocdeps.py
+++ b/doc/mkdocdeps.py
@@ -1,15 +1,16 @@
-from sys import argv
-srcdir = argv[1]
-builddir = argv[2]
-outfile = argv[3]
+import sys
-execfile(srcdir + '/conf.py')
+srcdir = sys.argv[1]
+builddir = sys.argv[2]
+outfile = sys.argv[3]
+sys.path.insert(0, srcdir)
+import conf
roff_files = []
rst_files = []
out=open(outfile,'w')
-for page in man_pages:
+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])]