diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py index de1cbb8f..b87fe3e8 100644 --- a/doc/mkdocdeps.py +++ b/doc/mkdocdeps.py @@ -9,10 +9,10 @@ import conf roff_files = [] rst_files = [] -out=open(outfile,'w') 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') -out.write ('MAN_RST_FILES := ' + ' \\\n\t'.join(rst_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')