aboutsummaryrefslogtreecommitdiff
path: root/shells/zsh-devel/files/patch-ab
diff options
context:
space:
mode:
Diffstat (limited to 'shells/zsh-devel/files/patch-ab')
-rw-r--r--shells/zsh-devel/files/patch-ab21
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
+