diff options
| author | max <max@FreeBSD.org> | 1997-06-16 19:49:17 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1997-06-16 19:49:17 +0800 |
| commit | 235ac3957f34db256f393d65e86795d2d07ef7a0 (patch) | |
| tree | de8cbdcb14e742911bd21e1205c6035081f4520a /shells/zsh/files | |
| parent | 43f375f6d80f28174ae9a2d4d30e9dd2fa15cede (diff) | |
| download | freebsd-ports-gnome-235ac3957f34db256f393d65e86795d2d07ef7a0.tar.gz freebsd-ports-gnome-235ac3957f34db256f393d65e86795d2d07ef7a0.tar.zst freebsd-ports-gnome-235ac3957f34db256f393d65e86795d2d07ef7a0.zip | |
Patch for Doc/Makefile.in to:
- Add --no-split to the makeinfo command line.
- Remove info files before makeinfo.
Diffstat (limited to 'shells/zsh/files')
| -rw-r--r-- | shells/zsh/files/patch-ab | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/shells/zsh/files/patch-ab b/shells/zsh/files/patch-ab new file mode 100644 index 000000000000..c80f4c7f852c --- /dev/null +++ b/shells/zsh/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 + |