1 files changed, 40 insertions, 0 deletions
diff --git a/lang/asis/files/patch-doc_share_conf.py b/lang/asis/files/patch-doc_share_conf.py
new file mode 100644
index 000000000000..34ad101782c8
--- /dev/null
+++ b/lang/asis/files/patch-doc_share_conf.py
@@ -0,0 +1,40 @@
+--- doc/share/conf.py.orig	2016-03-31 12:55:10 UTC
++++ doc/share/conf.py
+@@ -40,17 +40,17 @@ def get_gnat_version():
+             line = (vinfo.readline()).strip()
+             return line
+     except:
+-        print 'Error opening or reading version_information file'
++        print('Error opening or reading version_information file')
+         sys.exit(1)
+ 
+ # First retrieve the name of the documentation we are building
+ doc_name = os.environ.get('DOC_NAME', None)
+ if doc_name is None:
+-    print 'DOC_NAME environment variable should be set'
++    print('DOC_NAME environment variable should be set')
+     sys.exit(1)
+ 
+ if doc_name not in DOCS:
+-    print '%s is not a valid documentation name' % doc_name
++    print(f'{doc_name} is not a valid documentation name')
+     sys.exit(1)
+ 
+ 
+@@ -59,7 +59,7 @@ exclude_patterns = []
+ for d in os.listdir(root_source_dir):
+     if d not in ('share', doc_name, doc_name + '.rst'):
+         exclude_patterns.append(d)
+-        print 'ignoring %s' % d
++        print(f'ignoring {d}')
+ 
+ extensions = []
+ templates_path = ['_templates']
+@@ -101,5 +101,5 @@ texinfo_documents = [
+ 
+ 
+ def setup(app):
+-    app.add_lexer('ada', ada_pygments.AdaLexer())
+-    app.add_lexer('gpr', ada_pygments.GNATProjectLexer())
++    app.add_lexer('ada', ada_pygments.AdaLexer)
++    app.add_lexer('gpr', ada_pygments.GNATProjectLexer)