diff options
| author | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-06-16 11:49:17 +0000 |
|---|---|---|
| committer | Masafumi Max NAKANE <max@FreeBSD.org> | 1997-06-16 11:49:17 +0000 |
| commit | 619aa31ea85519ff8b5c3995f29e3fa874a2ac70 (patch) | |
| tree | e4191ee422278e1e1cc755025ae0d3d55fd6324c | |
| parent | Use install-info to edit the dir file. (diff) | |
Patch for Doc/Makefile.in to:
- Add --no-split to the makeinfo command line.
- Remove info files before makeinfo.
Notes
Notes:
svn path=/head/; revision=6965
| -rw-r--r-- | shells/zsh-devel/files/patch-ab | 21 | ||||
| -rw-r--r-- | shells/zsh/files/patch-ab | 21 |
2 files changed, 42 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 + 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 + |