diff options
| author | Axel Beckert <abe@deuxchevaux.org> | 2013-08-26 08:31:23 +0200 |
|---|---|---|
| committer | Axel Beckert <abe@deuxchevaux.org> | 2013-08-26 09:05:05 +0200 |
| commit | 6362089b6b0f9d7da5a9f817bd6628ffb05da961 (patch) | |
| tree | c6d26e6062b35df3ff23898e4a8afdfa788f6e40 /debian/patches/replace-texi2html-with-makeinfo | |
| parent | d5b36d06bb39d7417385175e9c6c666f801306d6 (diff) | |
| download | zsh-6362089b6b0f9d7da5a9f817bd6628ffb05da961.tar.gz zsh-6362089b6b0f9d7da5a9f817bd6628ffb05da961.zip | |
Replace texi2html by makeinfo
Add patch to replace texi2html by makeinfo in Doc/Makefile.in.
Fixes lintian warning build-depends-on-obsolete-package
Diffstat (limited to 'debian/patches/replace-texi2html-with-makeinfo')
| -rw-r--r-- | debian/patches/replace-texi2html-with-makeinfo | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/debian/patches/replace-texi2html-with-makeinfo b/debian/patches/replace-texi2html-with-makeinfo new file mode 100644 index 000000000..911258c48 --- /dev/null +++ b/debian/patches/replace-texi2html-with-makeinfo @@ -0,0 +1,16 @@ +Description: Replace deprecated texi2html with makeinfo +Author: Axel Beckert <abe@debian.org> + +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 @@ + 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 + |