diff -r a20674f2055c -r 99c0b03894ee Makefile --- 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