From e30f40238ed5ed9a964dca35b0b31905f8e0e32f Mon Sep 17 00:00:00 2001 From: Axel Beckert Date: Mon, 2 Dec 2013 15:28:13 +0100 Subject: Refresh patch replace-texi2html-with-makeinfo --- debian/patches/replace-texi2html-with-makeinfo | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'debian/patches/replace-texi2html-with-makeinfo') diff --git a/debian/patches/replace-texi2html-with-makeinfo b/debian/patches/replace-texi2html-with-makeinfo index 3412d943f..c738c1490 100644 --- a/debian/patches/replace-texi2html-with-makeinfo +++ b/debian/patches/replace-texi2html-with-makeinfo @@ -4,9 +4,9 @@ Author: Axel Beckert Index: zsh/Doc/Makefile.in =================================================================== ---- zsh.orig/Doc/Makefile.in 2013-01-14 01:49:37.000000000 +0100 -+++ zsh/Doc/Makefile.in 2013-08-26 08:25:54.468926080 +0200 -@@ -40,7 +40,7 @@ +--- 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 -- cgit v1.2.3