diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2019-12-01 20:18:01 +0300 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2019-12-01 20:18:01 +0300 |
| commit | 77d81aa4a3747b7dfbb17e43b16e1a514550c60c (patch) | |
| tree | 0679778b3a5b46cb96d7c57485c847b83cc78bbf /debian/patches/doc-build-texinfo.diff | |
| parent | c089c4500b0b78acf03ee5405ad250a84b0dfa66 (diff) | |
| download | python3.8-debian.tar.gz | |
Import python3.8 (3.8.0-5)debian/3.8.0-5debian
Diffstat (limited to 'debian/patches/doc-build-texinfo.diff')
| -rw-r--r-- | debian/patches/doc-build-texinfo.diff | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/patches/doc-build-texinfo.diff b/debian/patches/doc-build-texinfo.diff index 7297473..338db82 100644 --- a/debian/patches/doc-build-texinfo.diff +++ b/debian/patches/doc-build-texinfo.diff @@ -3,17 +3,17 @@ 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: +--- a/Doc/Makefile ++++ b/Doc/Makefile +@@ -32,6 +32,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 " texinfo to make Texinfo file" @echo " epub to make EPUB files" - @echo " changes to make an overview over all changed/added/deprecated items" -@@ -72,6 +73,11 @@ latex: build +@@ -86,6 +87,11 @@ latex: build @echo "Run \`make all-pdf' or \`make all-ps' in that directory to" \ "run these through (pdf)latex." |