diff options
Diffstat (limited to 'llvm/docs/conf.py')
| -rw-r--r-- | llvm/docs/conf.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/llvm/docs/conf.py b/llvm/docs/conf.py index 254f334c013..7fdcb3d2f52 100644 --- a/llvm/docs/conf.py +++ b/llvm/docs/conf.py @@ -9,6 +9,7 @@ # # All configuration values have a default; values that are commented out # serve to show the default. +from __future__ import print_function import sys, os from datetime import date @@ -234,14 +235,14 @@ for name in os.listdir(command_guide_path): header = f.readline().rstrip('\n') if len(header) != len(title): - print >>sys.stderr, ( + print(( "error: invalid header in %r (does not match title)" % ( - file_subpath,)) + file_subpath,)), file=sys.stderr) if ' - ' not in title: - print >>sys.stderr, ( + print(( ("error: invalid title in %r " "(expected '<name> - <description>')") % ( - file_subpath,)) + file_subpath,)), file=sys.stderr) # Split the name out of the title. name,description = title.split(' - ', 1) |
