diff options
Diffstat (limited to 'devel/gnu-libtool/Makefile')
| -rw-r--r-- | devel/gnu-libtool/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devel/gnu-libtool/Makefile b/devel/gnu-libtool/Makefile index 6f9c27d47e7b..9087bd8f102b 100644 --- a/devel/gnu-libtool/Makefile +++ b/devel/gnu-libtool/Makefile @@ -3,7 +3,7 @@ # Date created: 6 May 1998 # Whom: Motoyuki Kasahara <m-kasahr@sra.co.jp> # -# $Id$ +# $Id: Makefile,v 1.1.1.1 1998/05/07 15:58:20 vanilla Exp $ # DISTNAME= libtool-1.2 @@ -16,9 +16,10 @@ GNU_CONFIGURE= yes CONFIGURE_ENV= INSTALL_SCRIPT="${INSTALL_SCRIPT}" \ INSTALL_DATA="${INSTALL_DATA}" -pre-install: +post-install: @if [ ! -f ${PREFIX}/info/dir ]; then \ ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ fi + @install-info ${PREFIX}/info/libtool.info ${PREFIX}/info/dir .include <bsd.port.mk> |