diff options
Diffstat (limited to 'debian/patches/replace-texi2html-with-makeinfo')
| -rw-r--r-- | debian/patches/replace-texi2html-with-makeinfo | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/patches/replace-texi2html-with-makeinfo b/debian/patches/replace-texi2html-with-makeinfo new file mode 100644 index 0000000..c738c14 --- /dev/null +++ b/debian/patches/replace-texi2html-with-makeinfo @@ -0,0 +1,17 @@ +Description: Replace deprecated texi2html with makeinfo +Forwarded: http://www.zsh.org/mla/workers/2013/msg00723.html +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 +@@ -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 + + .SUFFIXES: .yo .1 + |