diff options
Diffstat (limited to 'shells/zsh-devel/files/patch-ab')
| -rw-r--r-- | shells/zsh-devel/files/patch-ab | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/shells/zsh-devel/files/patch-ab b/shells/zsh-devel/files/patch-ab new file mode 100644 index 000000000000..c80f4c7f852c --- /dev/null +++ b/shells/zsh-devel/files/patch-ab @@ -0,0 +1,21 @@ +--- 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 @@ + 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* ++ @$(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 @@ + # 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*; do \ + [ -f "$$file" ] && $(INSTALL_DATA) $$file $(infodir) ; \ + done + |