--- a/eric6/eric6_doc.py Tue Oct 13 19:02:26 2020 +0200 +++ b/eric6/eric6_doc.py Wed Oct 14 17:50:39 2020 +0200 @@ -281,9 +281,8 @@ if stylesheetFile: try: - sf = open(stylesheetFile, "r", encoding="utf-8") - stylesheet = sf.read() - sf.close() + with open(stylesheetFile, "r", encoding="utf-8") as sf: + stylesheet = sf.read() except IOError: sys.stderr.write( "The CSS stylesheet '{0}' does not exist\n".format( @@ -398,9 +397,9 @@ # generate output try: - out = open(f, "w", encoding="utf-8", newline=newline) - out.write(doc) - out.close() + with open(f, "w", encoding="utf-8", + newline=newline) as out: + out.write(doc) except IOError as v: sys.stderr.write("{0} error: {1}\n".format(file, v[1])) else: