pike.git
/
src
/
Makefile.in
version
»
Context lines:
10
20
40
80
file
none
3
pike.git/src/Makefile.in:1:
#
-
# $Id: Makefile.in,v 1.
119
1998/09/29
14
:
30
:
19
grubba Exp $
+
# $Id: Makefile.in,v 1.
120
1998/09/29
16
:
51
:
03
grubba Exp $
# # This line is needed on some machines. @SET_MAKE@ # Don't change this line. Define EXTRALIBS before this line if you # wish to add any libraries. LIBS=@LIBS@ $(EXTRALIBS) # This is normall the install program in the source directory
pike.git/src/Makefile.in:313:
mv -f "$(lib_prefix)/$$f" "$(lib_prefix)/$$f.old"; \ else : ; fi; \ cp "$(TMP_LIBDIR)/$$f" "$(lib_prefix)/$$f" || exit 1; \ chmod a+r "$(lib_prefix)/$$f"; \ chmod u+w "$(lib_prefix)/$$f"; \ fi ; \ done @if [ -d "$(MANDIR_SRC)/." ]; then \ echo ; echo "Installing manual pages..."; \ for f in `cd "$(MANDIR_SRC)/"; echo *.1`; do \
-
dest
=
"$(man_prefix)/man1/$$f"; \
+
dest="$(man_prefix)/man1/$$f"; \
if cmp "$$dest" "$(MANDIR_SRC)/$$f" >/dev/null 2>&1 ; \ then : ; else \ echo "$$dest"; \ if [ -f "$$dest" ]; then \ mv -f "$$dest" "$$dest.old"; \ else : ; fi; \ cp "$(MANDIR_SRC)/$$f" "$$dest" || exit 1; \ chmod a+r "$$dest"; \ chmod u+w "$$dest"; \ fi ; \