diff options
| author | Niels Provos <provos@cvs.openbsd.org> | 1997-06-25 09:29:16 +0000 |
|---|---|---|
| committer | Niels Provos <provos@cvs.openbsd.org> | 1997-06-25 09:29:16 +0000 |
| commit | ded87fcb7aac503ddde0f40c7513c23d7f29802c (patch) | |
| tree | 2d4f7599538a6360749adc0c63d0cb2cd28ec29e /gnu/lib | |
| parent | 38853e8aa5e336855c784963d1f395dedcc94074 (diff) | |
make install work first time
Diffstat (limited to 'gnu/lib')
| -rw-r--r-- | gnu/lib/libgmp/Makefile.bsd-wrapper | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gnu/lib/libgmp/Makefile.bsd-wrapper b/gnu/lib/libgmp/Makefile.bsd-wrapper index 1e98bd17c68..b603e1ba9e0 100644 --- a/gnu/lib/libgmp/Makefile.bsd-wrapper +++ b/gnu/lib/libgmp/Makefile.bsd-wrapper @@ -1,4 +1,4 @@ -# $OpenBSD: Makefile.bsd-wrapper,v 1.1 1997/06/24 21:28:12 provos Exp $ +# $OpenBSD: Makefile.bsd-wrapper,v 1.2 1997/06/25 09:29:15 provos Exp $ SUBDIR+= mpn mpz mpf mpq @@ -21,9 +21,10 @@ config.status: Makefile.in configure install: # Attempt to edit the info directory node - if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ + if $(SHELL) -c 'install-info --version' >/dev/null 2>&1 ; then \ + if [ -f $(DESTDIR)/usr/share/info/gmp.info ]; then \ install-info --remove --dir-file=$(DESTDIR)/usr/share/info/dir \ - $(DESTDIR)/usr/share/info/gmp.info; \ + $(DESTDIR)/usr/share/info/gmp.info; else true; fi \ else true; fi ${MAKE} ${GNUCFLAGS} prefix=${DESTDIR}/usr \ infodir=${DESTDIR}/usr/share/info \ |