blob: 1d250cd7957b7b898eadbe218285ec65f00d672b (
plain)
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
|
*** Makefile.in.orig Sun Nov 6 15:35:49 1994
--- Makefile.in Tue Jan 3 20:56:32 1995
***************
*** 94,100 ****
# Number to put on the man page filename.
manext = 1
# Prefix to put on installed `make' binary file name.
! binprefix =
# Prefix to put on installed `make' man page file name.
manprefix = $(binprefix)
--- 94,100 ----
# Number to put on the man page filename.
manext = 1
# Prefix to put on installed `make' binary file name.
! binprefix = g
# Prefix to put on installed `make' man page file name.
manprefix = $(binprefix)
***************
*** 206,212 ****
else true; fi
# Some systems can't deal with renaming onto a running binary.
-rm -f $@.old
! -mv $@ $@.old
mv $@.new $@
$(infodir)/make.info: make.info
--- 206,212 ----
else true; fi
# Some systems can't deal with renaming onto a running binary.
-rm -f $@.old
! @if [ -w $@ ]; then mv $@ $@.old; fi
mv $@.new $@
$(infodir)/make.info: make.info
|
