2 BIN_DIR
=$(DESTDIR
)$(prefix)/$(bindir)
4 BIN_DIR
=$(prefix)/$(bindir)
8 MAN_DIR
=$(DESTDIR
)$(prefix)/$(mandir)/man1
10 MAN_DIR
=$(prefix)/$(mandir)/man1
16 install -d
"$(BIN_DIR)"
17 for i in
$(INSTALL_BIN
); do
install "$$i" "$(BIN_DIR)"; done
19 @
install -d
"$(BIN_DIR)"
20 @echo
"MKDIR $(BIN_DIR)"
21 @for i in
$(INSTALL_BIN
); do echo
"CP $$i $(BIN_DIR)"; install "$$i" "$(BIN_DIR)"; done
27 install -d
"$(MAN_DIR)"
28 for i in
$(INSTALL_MAN
); do
install "$$i" "$(MAN_DIR)"; done
30 @
install -d
"$(MAN_DIR)"
31 @echo
"MKDIR $(MAN_DIR)"
32 @for i in
$(INSTALL_MAN
); do echo
"CP $$i $(MAN_DIR)"; install "$$i" "$(MAN_DIR)"; done