diff options
Diffstat (limited to 'shells/zsh/files/patch-ab')
| -rw-r--r-- | shells/zsh/files/patch-ab | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/shells/zsh/files/patch-ab b/shells/zsh/files/patch-ab index c80f4c7f852c..1c11069e06fe 100644 --- a/shells/zsh/files/patch-ab +++ b/shells/zsh/files/patch-ab @@ -1,20 +1,20 @@ ---- Doc/Makefile.in.orig Wed Dec 18 05:14:11 1996 -+++ Doc/Makefile.in Mon Jun 16 20:40:29 1997 -@@ -93,7 +93,8 @@ +--- Doc/Makefile.in.orig Wed Jul 14 20:59:48 1999 ++++ Doc/Makefile.in Fri Sep 10 22:27:01 1999 +@@ -91,7 +91,8 @@ everything: all zsh_us.ps zsh_a4.ps zsh_toc.html zsh.info: zsh.texi - @$(MAKEINFO) -I$(srcdir) $(srcdir)/zsh.texi || { \ -+ @rm -f zsh.info* ++ @rm -f zsh.info + @$(MAKEINFO) --no-split -I$(srcdir) $(srcdir)/zsh.texi || { \ echo Info documentation cannot be compiled without $(MAKEINFO). ; \ echo You can find precompiled info files in zsh-doc.tar.gz. ; } -@@ -127,7 +128,7 @@ +@@ -125,7 +126,7 @@ # install info pages, creating install directory if necessary install.info: zsh.info $(top_srcdir)/mkinstalldirs $(infodir) -- for file in zsh.info zsh.info-[1-9]; do \ +- for file in zsh.info zsh.info-[1-9]*; do \ + for file in zsh.info*; do \ [ -f "$$file" ] && $(INSTALL_DATA) $$file $(infodir) ; \ done |