Python3 fixes

Change-Id: I5ba9d264cce7b9a986b28fb24f27200d5c5f328d

scripts/make_docs.py

diff --git a/scripts/make_docs.py b/scripts/make_docs.py
index 9728fd2..42b499a 100644
--- a/scripts/make_docs.py
+++ b/scripts/make_docs.py
@@ -33,6 +33,7 @@
 #
 # Note: You will need Sphinx and Pygments installed for this to work.
 
+from __future__ import print_function
 import glob
 import os
 import sys
@@ -41,7 +42,7 @@
 N = len(sys.argv)
 
 if N < 3:
-  print 'make_docs.py src_root destination_root'
+  print('make_docs.py src_root destination_root')
   sys.exit(1)
 
 src_dir    = sys.argv[1] + '/docs/source'
@@ -100,7 +101,7 @@
 </div>'''
 
 for name in glob.glob('%s/*.html' % html_dir):
-  print 'Postprocessing: ', name
+  print('Postprocessing: ', name)
   with open(name) as fptr:
     out = fptr.read()
 
@@ -113,10 +114,10 @@
                        else breadcrumb_start_other
     pre_breadcrumb_start, post_breadcrumb_start = out.split(breadcrumb_start)
     title, post_breadcrumb_end = post_breadcrumb_start.split(breadcrumb_end)
-    print 'Stripping breadcrumb for -', title
+    print('Stripping breadcrumb for -', title)
     out = pre_breadcrumb_start + post_breadcrumb_end
   except ValueError:
-    print 'Skipping breadcrumb strip for', name
+    print('Skipping breadcrumb strip for', name)
 
   with open(name, 'w') as fptr:
     fptr.write(out)