diff options
| author | SADA Kenji <sada@FreeBSD.org> | 2000-10-29 19:16:20 +0000 |
|---|---|---|
| committer | SADA Kenji <sada@FreeBSD.org> | 2000-10-29 19:16:20 +0000 |
| commit | 9faa24a215c2f177465502b7a7fc2bc43a5c1a17 (patch) | |
| tree | 22c698e197926a3a9ab6ce6bc1150b1923b78432 /devel/global/files | |
| parent | 544a3aab5083c1ede90379514f937c30e26a329c (diff) | |
Notes
Diffstat (limited to 'devel/global/files')
| -rw-r--r-- | devel/global/files/patch-aa | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/devel/global/files/patch-aa b/devel/global/files/patch-aa new file mode 100644 index 000000000000..bc45db92e574 --- /dev/null +++ b/devel/global/files/patch-aa @@ -0,0 +1,16 @@ +--- doc/Makefile.in.orig Tue Sep 26 17:04:19 2000 ++++ doc/Makefile.in Mon Oct 23 00:29:54 2000 +@@ -187,13 +187,6 @@ + done; \ + done + @$(POST_INSTALL) +- @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i 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 + + uninstall-info: + $(PRE_UNINSTALL) |