Makefile
changeset 1039 78cdb4a057e3
parent 1032 9cf008356bdf
equal deleted inserted replaced
1038:79c56b8fb8e0 1039:78cdb4a057e3
   119 # Essential rc files.
   119 # Essential rc files.
   120 .PHONY: install-mini
   120 .PHONY: install-mini
   121 .ONESHELL:
   121 .ONESHELL:
   122 install-mini:
   122 install-mini:
   123 	$(INSTALL_DATA) -t $(HOME) ${TARBALL_MINI_DEPS}
   123 	$(INSTALL_DATA) -t $(HOME) ${TARBALL_MINI_DEPS}
       
   124 	ln -s -f $(HOME)/.bashrc $(HOME)/.bash_profile
   124 
   125 
   125 # Without personal info.
   126 # Without personal info.
   126 .PHONY: install-micro
   127 .PHONY: install-micro
   127 .ONESHELL:
   128 .ONESHELL:
   128 install-micro:
   129 install-micro:
   129 	$(INSTALL_DATA) -t $(HOME) ${TARBALL_MICRO_DEPS}
   130 	$(INSTALL_DATA) -t $(HOME) ${TARBALL_MICRO_DEPS}
       
   131 	ln -s -f $(HOME)/.bashrc $(HOME)/.bash_profile
   130 
   132 
   131 .PHONY: install
   133 .PHONY: install
   132 .ONESHELL:
   134 .ONESHELL:
   133 install:
   135 install:
   134 	declare -a files
   136 	declare -a files