mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-23 09:10:43 +00:00
In Makefile.in, use install-info only if it exists as /usr/bin/install-info
and ${PREFIX}/info/dir exists.
This commit is contained in:
parent
41304ed05b
commit
c4917c6dc8
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=5555
@ -1,5 +1,5 @@
|
||||
--- Makefile.in.orig Thu Aug 29 06:13:09 1996
|
||||
+++ Makefile.in Thu Feb 6 01:46:54 1997
|
||||
--- Makefile.in.orig Wed Aug 28 14:13:09 1996
|
||||
+++ Makefile.in Fri Feb 7 02:42:44 1997
|
||||
@@ -79,7 +79,7 @@
|
||||
# Number to put on the man page filename.
|
||||
manext = 1
|
||||
@ -18,16 +18,20 @@
|
||||
|
||||
$(bindir)/$(binprefix)make: make
|
||||
$(INSTALL_PROGRAM) make $@.new
|
||||
@@ -206,7 +208,7 @@
|
||||
@@ -204,9 +206,10 @@
|
||||
# line so we notice real errors from install-info.
|
||||
# We use `$(SHELL) -c' because some shells do not
|
||||
# fail gracefully when there is an unknown command.
|
||||
if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
|
||||
- if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
|
||||
+ if $(SHELL) -c '/usr/bin/install-info --version' >/dev/null 2>&1; then \
|
||||
if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \
|
||||
- install-info --infodir=$(infodir) $$dir/make.info; \
|
||||
+ install-info --info-dir=$(infodir) --defentry='* gmake: (make). GNU make utility' $$dir/make.info; \
|
||||
+ if [ -e $(infodir)/dir ] ; then \
|
||||
+ /usr/bin/install-info --info-dir=$(infodir) --defentry='* gmake: (make). GNU make utility' $$dir/make.info; fi ; \
|
||||
else true; fi
|
||||
|
||||
$(mandir)/$(manprefix)make.$(manext): make.man
|
||||
@@ -250,7 +252,8 @@
|
||||
@@ -250,7 +253,8 @@
|
||||
$(SHELL) config.status
|
||||
glob/Makefile: config.status $(srcdir)/glob/Makefile.in
|
||||
$(SHELL) config.status
|
||||
|
@ -1,5 +1,5 @@
|
||||
--- Makefile.in.orig Thu Aug 29 06:13:09 1996
|
||||
+++ Makefile.in Thu Feb 6 01:46:54 1997
|
||||
--- Makefile.in.orig Wed Aug 28 14:13:09 1996
|
||||
+++ Makefile.in Fri Feb 7 02:42:44 1997
|
||||
@@ -79,7 +79,7 @@
|
||||
# Number to put on the man page filename.
|
||||
manext = 1
|
||||
@ -18,16 +18,20 @@
|
||||
|
||||
$(bindir)/$(binprefix)make: make
|
||||
$(INSTALL_PROGRAM) make $@.new
|
||||
@@ -206,7 +208,7 @@
|
||||
@@ -204,9 +206,10 @@
|
||||
# line so we notice real errors from install-info.
|
||||
# We use `$(SHELL) -c' because some shells do not
|
||||
# fail gracefully when there is an unknown command.
|
||||
if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
|
||||
- if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
|
||||
+ if $(SHELL) -c '/usr/bin/install-info --version' >/dev/null 2>&1; then \
|
||||
if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \
|
||||
- install-info --infodir=$(infodir) $$dir/make.info; \
|
||||
+ install-info --info-dir=$(infodir) --defentry='* gmake: (make). GNU make utility' $$dir/make.info; \
|
||||
+ if [ -e $(infodir)/dir ] ; then \
|
||||
+ /usr/bin/install-info --info-dir=$(infodir) --defentry='* gmake: (make). GNU make utility' $$dir/make.info; fi ; \
|
||||
else true; fi
|
||||
|
||||
$(mandir)/$(manprefix)make.$(manext): make.man
|
||||
@@ -250,7 +252,8 @@
|
||||
@@ -250,7 +253,8 @@
|
||||
$(SHELL) config.status
|
||||
glob/Makefile: config.status $(srcdir)/glob/Makefile.in
|
||||
$(SHELL) config.status
|
||||
|
Loading…
Reference in New Issue
Block a user