--- Python-2.7.5/Doc/conf.py.orig	2013-09-28 16:22:35.624179804 +0200

+++ Python-2.7.5/Doc/conf.py	2013-09-28 16:22:55.638045295 +0200

@@ -154,6 +154,18 @@

 # Get LaTeX to handle Unicode correctly

 latex_elements = {'inputenc': r'\usepackage[utf8x]{inputenc}', 'utf8extra': ''}

+# Options for Texinfo output

+# --------------------------

+

+texinfo_documents = [

+    ('contents', 'python', 'Python Documentation', _stdauthor,

+     'Python', 'Python Documentation', 'Software Development'),

+]

+

+texinfo_show_urls = [

+    'footnote',

+]

+

 # Options for the coverage checker

 # --------------------------------