Cleanup based on comments by William Rucklidge
Change-Id: If269ba8e388965a8ea32260fd6f17a133a19ab9b
diff --git a/scripts/make_docs.py b/scripts/make_docs.py
index 41879cb..8f7e718 100644
--- a/scripts/make_docs.py
+++ b/scripts/make_docs.py
@@ -32,9 +32,9 @@
#
# Note: You will need Sphinx and Pygments installed for this to work.
-import sys
-import os
import glob
+import os
+import sys
if len(sys.argv) < 3:
print "make_docs.py src_root destination_root"
@@ -63,5 +63,8 @@
print "Postprocessing: ", name
fptr = open(name)
out = fptr.read().replace(input_pattern, output_pattern)
- open(name, "w").write(out)
- fptr.close();
+ fptr.close()
+
+ fptr = open(name, "w")
+ fptr.write(out)
+ fptr.close()
