diff options
| author | max <max@FreeBSD.org> | 1997-06-12 20:30:07 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1997-06-12 20:30:07 +0800 |
| commit | 965e68fb05e099d407eff5c5654efa4fdc1c5439 (patch) | |
| tree | 7780b1bfa7f60626d93459fc7b098a37d6bdadc2 /devel/gmake/files | |
| parent | 328929f3d043bb3fd484a2dc7ed2962e0f21771e (diff) | |
| download | freebsd-ports-gnome-965e68fb05e099d407eff5c5654efa4fdc1c5439.tar.gz freebsd-ports-gnome-965e68fb05e099d407eff5c5654efa4fdc1c5439.tar.zst freebsd-ports-gnome-965e68fb05e099d407eff5c5654efa4fdc1c5439.zip | |
Comment out all commands related to info-install in Makefile.in.
Add --no-split switch to makeinfo.
Diffstat (limited to 'devel/gmake/files')
| -rw-r--r-- | devel/gmake/files/patch-aa | 37 |
1 files changed, 28 insertions, 9 deletions
diff --git a/devel/gmake/files/patch-aa b/devel/gmake/files/patch-aa index 399d9ffa65e8..3045e2524579 100644 --- a/devel/gmake/files/patch-aa +++ b/devel/gmake/files/patch-aa @@ -1,5 +1,5 @@ ---- Makefile.in.orig Wed Aug 28 14:13:09 1996 -+++ Makefile.in Fri Feb 7 02:42:44 1997 +--- Makefile.in.orig Thu Aug 29 06:13:09 1996 ++++ Makefile.in Thu Jun 12 20:53:26 1997 @@ -79,7 +79,7 @@ # Number to put on the man page filename. manext = 1 @@ -9,6 +9,23 @@ # Prefix to put on installed `make' man page file name. manprefix = $(binprefix) +@@ -130,14 +130,14 @@ + .SUFFIXES: + .SUFFIXES: .o .c .h .ps .dvi .info .texinfo + +-all: make ++all: make info + info: make.info + dvi: make.dvi + # Some makes apparently use .PHONY as the default goal if it is before `all'. + .PHONY: all check info dvi + + make.info: make.texinfo +- $(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo -o make.info ++ $(MAKEINFO) --no-split -I$(srcdir) $(srcdir)/make.texinfo -o make.info + + make.dvi: make.texinfo + $(TEXI2DVI) $(srcdir)/make.texinfo @@ -175,6 +175,8 @@ installdirs: @@ -18,20 +35,22 @@ $(bindir)/$(binprefix)make: make $(INSTALL_PROGRAM) make $@.new -@@ -204,9 +206,10 @@ +@@ -204,10 +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 '/usr/bin/install-info --version' >/dev/null 2>&1; then \ - if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \ +- if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \ - install-info --infodir=$(infodir) $$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 +- else true; fi ++# if $(SHELL) -c '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; \ ++# else true; fi $(mandir)/$(manprefix)make.$(manext): make.man -@@ -250,7 +253,8 @@ + $(INSTALL_DATA) $(srcdir)/make.man $@ +@@ -250,7 +252,8 @@ $(SHELL) config.status glob/Makefile: config.status $(srcdir)/glob/Makefile.in $(SHELL) config.status |