diff options
author | 2014-04-05 10:31:06 -0700 | |
---|---|---|
committer | 2014-04-21 21:31:45 +0900 | |
commit | 427b3db243626916d739e2709c5a91212afb5084 (patch) | |
tree | 288fa5afd631d10830dc1fc9b4f19ce27a3d1607 /doc/Makefile.local | |
parent | b10b12da890d31819e411aec5158dca99359e830 (diff) |
doc/mkdocdeps.py: Use "with" statement for the output file
Before this patch, the open was unnecessarily early and relied on the
process cleanup to close. Neither one of these was a real problem,
but PEP 343's context managers (which landed in Python 2.5) make
proper cleanup very easy.
[1]: http://legacy.python.org/dev/peps/pep-0343/
Diffstat (limited to 'doc/Makefile.local')
0 files changed, 0 insertions, 0 deletions