--- 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."