diff options
| author | Axel Beckert <abe@deuxchevaux.org> | 2014-08-11 17:46:15 +0200 |
|---|---|---|
| committer | Axel Beckert <abe@deuxchevaux.org> | 2014-08-11 17:46:15 +0200 |
| commit | 51b9ee37b25a0e8ddc0ec3823f694f4ccacc8cd0 (patch) | |
| tree | b2ef4071ac1f9c330e582647253c78699764e047 | |
| parent | 382c26acfc62a56744ab9eb603efc56130764fd3 (diff) | |
| download | zsh-51b9ee37b25a0e8ddc0ec3823f694f4ccacc8cd0.tar.gz zsh-51b9ee37b25a0e8ddc0ec3823f694f4ccacc8cd0.zip | |
Refresh patch replace-texi2html-with-makeinfo
| -rw-r--r-- | debian/patches/replace-texi2html-with-makeinfo | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/patches/replace-texi2html-with-makeinfo b/debian/patches/replace-texi2html-with-makeinfo index c738c1490..56a6bf4f2 100644 --- a/debian/patches/replace-texi2html-with-makeinfo +++ b/debian/patches/replace-texi2html-with-makeinfo @@ -4,14 +4,14 @@ Author: Axel Beckert <abe@debian.org> Index: zsh/Doc/Makefile.in =================================================================== ---- zsh.orig/Doc/Makefile.in 2013-12-02 15:26:29.000000000 +0100 -+++ zsh/Doc/Makefile.in 2013-12-02 15:26:29.000000000 +0100 +--- zsh.orig/Doc/Makefile.in 2014-08-11 17:45:12.000000000 +0200 ++++ zsh/Doc/Makefile.in 2014-08-11 17:45:12.000000000 +0200 @@ -41,7 +41,7 @@ MAKEINFO = makeinfo TEXI2DVI = texi2dvi DVIPS = dvips --TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files -+TEXI2HTML = makeinfo --html --output . --ifinfo --split=chapter --node-files +-TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files \ ++TEXI2HTML = makeinfo --html --output . --ifinfo --split=chapter --node-files \ + --init-file $(sdir)/texi2html.conf .SUFFIXES: .yo .1 - |