Python3 fixes
Change-Id: I5ba9d264cce7b9a986b28fb24f27200d5c5f328d
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)
