diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2019-12-01 17:44:24 +0300 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2019-12-01 17:44:24 +0300 |
| commit | c089c4500b0b78acf03ee5405ad250a84b0dfa66 (patch) | |
| tree | 23870848d194569aff6e0e4e41bc7907960b1af1 /debian/patches/doc-build-texinfo.diff | |
| parent | 377002e7300431b68f3548d9fd2c7f99cf883939 (diff) | |
| download | python3.7-debian.tar.gz | |
Import python3.7 (3.7.5-2)debian/3.7.5-2debian
Diffstat (limited to 'debian/patches/doc-build-texinfo.diff')
| -rw-r--r-- | debian/patches/doc-build-texinfo.diff | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/debian/patches/doc-build-texinfo.diff b/debian/patches/doc-build-texinfo.diff new file mode 100644 index 0000000..7297473 --- /dev/null +++ b/debian/patches/doc-build-texinfo.diff @@ -0,0 +1,27 @@ +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 + +--- python3.7-3.7.0~a2.orig/Doc/Makefile ++++ python3.7-3.7.0~a2/Doc/Makefile +@@ -27,6 +27,7 @@ help: + @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 " epub to make EPUB files" + @echo " changes to make an overview over all changed/added/deprecated items" +@@ -72,6 +73,11 @@ latex: build + @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." |