diff -r 2c724f45f23f Doc/tools/extensions/patchlevel.py
--- a/Doc/tools/extensions/patchlevel.py	Mon Jan 23 10:23:58 2017 +0200
+++ b/Doc/tools/extensions/patchlevel.py	Tue Jan 24 13:49:50 2017 +0200
@@ -22,15 +22,12 @@
     rx = re.compile(r'\s*#define\s+([a-zA-Z][a-zA-Z_0-9]*)\s+([a-zA-Z_0-9]+)')
 
     d = {}
-    f = open(patchlevel_h)
-    try:
+    with open(patchlevel_h) as f:
         for line in f:
             m = rx.match(line)
             if m is not None:
                 name, value = m.group(1, 2)
                 d[name] = value
-    finally:
-        f.close()
 
     release = version = '%s.%s' % (d['PY_MAJOR_VERSION'], d['PY_MINOR_VERSION'])
     micro = int(d['PY_MICRO_VERSION'])