diff options
Diffstat (limited to 'devel/global/files/patch-aa')
| -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) |