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