Makefile
changeset 46766 99c0b03894ee
parent 46765 a20674f2055c
child 46819 d4ba4d51f85f
--- a/Makefile	Wed Mar 10 13:54:00 2021 +0100
+++ b/Makefile	Wed Mar 10 13:54:13 2021 +0100
@@ -116,6 +116,9 @@
 install-home-doc: doc
 	cd doc && $(MAKE) $(MFLAGS) PREFIX="$(HOME)" install
 
+install-rhg: build-rhg
+	install -m 755 rust/target/release/rhg "$(PREFIX)"/bin/
+
 MANIFEST-doc:
 	$(MAKE) -C doc MANIFEST