pike.git / src / Makefile.in

version» Context lines:

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 ; \