--- Python-2.7.5/Doc/Makefile.orig	2013-09-28 16:15:03.713207958 +0200
+++ Python-2.7.5/Doc/Makefile	2013-09-28 16:18:04.634997824 +0200
@@ -14,7 +14,7 @@
 ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees -D latex_paper_size=$(PAPER) \
                 $(SPHINXOPTS) . build/$(BUILDER) $(SOURCES)
 
-.PHONY: help build html htmlhelp latex text changes linkcheck \
+.PHONY: help build html htmlhelp latex text texinfo changes linkcheck \
 	suspicious coverage doctest pydoc-topics htmlview clean dist check serve \
 	autobuild-dev autobuild-stable
 
@@ -25,6 +25,7 @@
 	@echo "  htmlview   to open the index page built by the html target in your browser"
 	@echo "  htmlhelp   to make HTML files and a HTML help project"
 	@echo "  latex      to make LaTeX files, you can set PAPER=a4 or PAPER=letter"
+	@echo "  texinfo    to make Texinfo (.texi) files"
 	@echo "  text       to make plain text files"
 	@echo "  epub       to make EPUB files"
 	@echo "  changes    to make an overview over all changed/added/deprecated items"
@@ -77,6 +59,11 @@
 	@echo "Run \`make all-pdf' or \`make all-ps' in that directory to" \
 	      "run these through (pdf)latex."
 
+texinfo: BUILDER = texinfo
+texinfo: build
+	@echo "Build finished; the TeXInfo files are in build/texinfo."
+	@echo "Run \`make info' in that directory to generate the info files."
+
 text: BUILDER = text
 text: build
 	@echo "Build finished; the text files are in build/text."