1995-01-04 10:03:38 +00:00
|
|
|
*** Makefile.in.orig Sun Nov 6 15:35:49 1994
|
|
|
|
|
--- Makefile.in Tue Jan 3 20:56:32 1995
|
1994-11-20 00:15:33 +00:00
|
|
|
***************
|
|
|
|
|
*** 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)
|
|
|
|
|
|
1995-01-04 10:03:38 +00:00
|
|
|
***************
|
|
|
|
|
*** 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
|
