diff options
Diffstat (limited to 'debian/patches/replace-texi2html-with-makeinfo')
| -rw-r--r-- | debian/patches/replace-texi2html-with-makeinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/replace-texi2html-with-makeinfo b/debian/patches/replace-texi2html-with-makeinfo index 56a6bf4f2..509a90a8a 100644 --- a/debian/patches/replace-texi2html-with-makeinfo +++ b/debian/patches/replace-texi2html-with-makeinfo @@ -12,6 +12,6 @@ Index: zsh/Doc/Makefile.in DVIPS = dvips -TEXI2HTML = @TEXI2HTML@ --output . --ifinfo --split=chapter --node-files \ +TEXI2HTML = makeinfo --html --output . --ifinfo --split=chapter --node-files \ - --init-file $(sdir)/texi2html.conf + --init-file texi2html.conf .SUFFIXES: .yo .1 |