diff options
| author | SADA Kenji <sada@FreeBSD.org> | 2002-01-13 13:32:23 +0000 |
|---|---|---|
| committer | SADA Kenji <sada@FreeBSD.org> | 2002-01-13 13:32:23 +0000 |
| commit | 6608400affbdad1cf9f96367365fc5670bbf19f1 (patch) | |
| tree | b0bc72cb9bba8299dedc3979b1290f6342513dab /devel/global/files | |
| parent | Update to 1.0.18. (diff) | |
- Upgrade to 4.3 .
# This is done over my last commit from 4.0.1 to 4.2.
- Change maintainer to Jos Backus <josb@cncdsl.com>.
# Chuckr seems too busy to respond queries.
PR: ports/33553
Submitted by: New maintainer
Notes
Notes:
svn path=/head/; revision=53019
Diffstat (limited to 'devel/global/files')
| -rw-r--r-- | devel/global/files/patch-aa | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/devel/global/files/patch-aa b/devel/global/files/patch-aa new file mode 100644 index 000000000000..9a9501cd0de1 --- /dev/null +++ b/devel/global/files/patch-aa @@ -0,0 +1,17 @@ +--- doc/Makefile.in.orig Fri Nov 23 11:02:34 2001 ++++ doc/Makefile.in Fri Jan 4 12:30:44 2002 +@@ -297,14 +297,6 @@ + done; \ + done + @$(POST_INSTALL) +- @if (install-info --version && \ +- install-info --version | fgrep -i -v debian) >/dev/null 2>&1; then \ +- list='$(INFO_DEPS)'; \ +- for file in $$list; do \ +- echo " install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file";\ +- install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$$file || :;\ +- done; \ +- else : ; fi + install-man: + + installcheck-am: |