diff options
author | 1997-06-28 01:45:22 +0000 | |
---|---|---|
committer | 1997-06-28 01:45:22 +0000 | |
commit | 2985f49588a50186bcec63d4f8feb6891f656d0b (patch) | |
tree | ea8b98245e1559300a88d4f0563cc40e922fa730 | |
parent | Don't attempt to edit a dir file that doesn't exist yet! (diff) | |
download | wireguard-openbsd-2985f49588a50186bcec63d4f8feb6891f656d0b.tar.xz wireguard-openbsd-2985f49588a50186bcec63d4f8feb6891f656d0b.zip |
It was in the fucking wrapper, too!
Texinfo updates the dir node, NOT individual packages!
-rw-r--r-- | gnu/lib/libgmp/Makefile.bsd-wrapper | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gnu/lib/libgmp/Makefile.bsd-wrapper b/gnu/lib/libgmp/Makefile.bsd-wrapper index b603e1ba9e0..3bd6807441b 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.2 1997/06/25 09:29:15 provos Exp $ +# $OpenBSD: Makefile.bsd-wrapper,v 1.3 1997/06/28 01:45:22 downsj Exp $ SUBDIR+= mpn mpz mpf mpq @@ -20,12 +20,12 @@ config.status: Makefile.in configure --prefix=/usr --local-prefix=/usr && touch config.status install: - # Attempt to edit the info directory node - 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; else true; fi \ - else true; fi +# # Attempt to edit the info directory node +# 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; else true; fi \ +# else true; fi ${MAKE} ${GNUCFLAGS} prefix=${DESTDIR}/usr \ infodir=${DESTDIR}/usr/share/info \ build_infodir=. \ |