Package: python3.11 / 3.11.2-6+deb12u6

doc-build-texinfo.diff Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
Description: Add the option to build Texinfo-format documentation.
Author: Benjamin Moody <benjamin@physionet.org>
Bug-Debian: https://bugs.debian.org/881959
Last-Update: 2017-11-27
Forwarded: https://github.com/python/cpython/commit/c3d679fd398f42a2e489fbe3dab17fac1fb2439c

--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -34,6 +34,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 files"
 	@echo "  text       to make plain text files"
 	@echo "  texinfo    to make Texinfo file"
 	@echo "  epub       to make EPUB files"
@@ -87,6 +88,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\' in that directory to run these through makeinfo."
+
 text: BUILDER = text
 text: build
 	@echo "Build finished; the text files are in build/text."