diff options
Diffstat (limited to 'doc/mkdocdeps.py')
| -rw-r--r-- | doc/mkdocdeps.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py index 3effdd85..71bd1356 100644 --- a/doc/mkdocdeps.py +++ b/doc/mkdocdeps.py @@ -1,15 +1,16 @@ from sys import argv -conffile = argv[1] +srcdir = argv[1] builddir = argv[2] outfile = argv[3] -execfile(conffile) +execfile(srcdir + '/conf.py') + roff_files = [] rst_files = [] out=open(outfile,'w') for page in man_pages: - rst_files = rst_files + ["doc/{0:s}.rst".format(page[0])] + 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') |