diff --git a/docs/link-roles.py b/docs/link-roles.py index e774721922..a7d549e827 100644 --- a/docs/link-roles.py +++ b/docs/link-roles.py @@ -6,9 +6,9 @@ from repo_util import run_cmd_get_output def get_github_rev(): path = run_cmd_get_output('git rev-parse --short HEAD') tag = run_cmd_get_output('git describe --exact-match') - print 'Git commit ID: ', path + print ('Git commit ID: ', path) if len(tag): - print 'Git tag: ', tag + print ('Git tag: ', tag) path = tag return path