--- 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 checkout update build html htmlhelp latex text changes linkcheck \
+.PHONY: help checkout update build html htmlhelp latex texinfo text changes linkcheck \
suspicious coverage doctest pydoc-topics htmlview clean dist check serve \
autobuild-dev autobuild-stable
@@ -25,6 +25,7 @@
@echo " html to make standalone HTML files"
@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 " changes to make an overview over all changed/added/deprecated items"
@echo " linkcheck to check all external links for integrity"
@@ -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."