diff options
| author |   provos <provos@openbsd.org> | 1997-06-25 09:29:15 +0000 |
|---|---|---|
| committer | provos <provos@openbsd.org> | 1997-06-25 09:29:15 +0000 |
| commit | efa49b7a6f86d44b1db0ade00931954cdc8f1934 (patch) | |
| tree | f6899f7ee03d801629042f70af09b84aa8007842 | |
| parent | show statistics about new timers/counters (diff) | |
| download | wireguard-openbsd-efa49b7a6f86d44b1db0ade00931954cdc8f1934.tar.xz wireguard-openbsd-efa49b7a6f86d44b1db0ade00931954cdc8f1934.zip | |
make install work first time
| -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 2713203aa87..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.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 \ |