Makefile
changeset 46753 99c0b03894ee
parent 46752 a20674f2055c
child 46819 d4ba4d51f85f
equal deleted inserted replaced
46752:a20674f2055c 46753:99c0b03894ee
   113 install-home-bin: build
   113 install-home-bin: build
   114 	$(PYTHON) setup.py $(PURE) install --home="$(HOME)" --prefix="" --force
   114 	$(PYTHON) setup.py $(PURE) install --home="$(HOME)" --prefix="" --force
   115 
   115 
   116 install-home-doc: doc
   116 install-home-doc: doc
   117 	cd doc && $(MAKE) $(MFLAGS) PREFIX="$(HOME)" install
   117 	cd doc && $(MAKE) $(MFLAGS) PREFIX="$(HOME)" install
       
   118 
       
   119 install-rhg: build-rhg
       
   120 	install -m 755 rust/target/release/rhg "$(PREFIX)"/bin/
   118 
   121 
   119 MANIFEST-doc:
   122 MANIFEST-doc:
   120 	$(MAKE) -C doc MANIFEST
   123 	$(MAKE) -C doc MANIFEST
   121 
   124 
   122 MANIFEST.in: MANIFEST-doc
   125 MANIFEST.in: MANIFEST-doc