diff options
Diffstat (limited to 'debian/patches/replace-texi2html-with-makeinfo')
| -rw-r--r-- | debian/patches/replace-texi2html-with-makeinfo | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/debian/patches/replace-texi2html-with-makeinfo b/debian/patches/replace-texi2html-with-makeinfo deleted file mode 100644 index 509a90a8a..000000000 --- a/debian/patches/replace-texi2html-with-makeinfo +++ /dev/null @@ -1,17 +0,0 @@ -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 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 \ - --init-file texi2html.conf - - .SUFFIXES: .yo .1 |