From 665bb17ca58ef90ae5c830c49f832e2b1123f255 Mon Sep 17 00:00:00 2001
From: Klaus Aehlig <klaus.aehlig@huawei.com>
Date: Wed, 2 Nov 2022 16:49:02 +0100
Subject: INSTALL: also mention how to install just-mr

... as this tool is usally used in conjunction with just; in
particular, our tutorial assumes just-mr to be present.
---
 INSTALL.md | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index 546c8b64..b11869d3 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -113,3 +113,11 @@ almost certainly want to set the scratch directory.
 ```sh
 env PACKAGE=YES LOCALBASE=/usr python3 ${WRKSRC}/bin/bootstrap.py ${WRKSRC} ${WRKDIR}/just-work
 ```
+
+# Installing `just-mr`
+
+In order to set up multi-repository configurations, usually the tools `just-mr`
+is used. It also a useful launcher for `just`.
+
+This tool is Python3 script located at `bin/just-mr.py` and can simply be put
+into an appropirate location in `PATH`.
-- 
cgit v1.2.3