blob: 22a6c018ea98724fed12cecf80ad675691229119 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
--- 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
# Prefix to put on installed `make' binary file name.
-binprefix =
+binprefix = g
# Prefix to put on installed `make' man page file name.
manprefix = $(binprefix)
@@ -175,6 +175,8 @@
installdirs:
$(SHELL) ${srcdir}/mkinstalldirs $(bindir) $(infodir) $(mandir)
+ rm -f $(bindir)/$(binprefix)make $(infodir)/make.info \
+ $(mandir)/$(manprefix)make.$(manext)
$(bindir)/$(binprefix)make: make
$(INSTALL_PROGRAM) make $@.new
@@ -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 '/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; \
+ 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 +253,8 @@
$(SHELL) config.status
glob/Makefile: config.status $(srcdir)/glob/Makefile.in
$(SHELL) config.status
-config.h: stamp-config ;
+config.h: stamp-config
+
stamp-config: config.status $(srcdir)/config.h.in
$(SHELL) config.status
touch stamp-config
|
