[gedit] docs: build.md: add link to Imovo tool

[Sébastien Wilmet <swilmet src gnome org>]

commit 5bdce732227c20f0f90a9aff9d9f4cad5c76d39d
Author: Sébastien Wilmet <swilmet informatique-libre be>
Date:   Fri Jul 15 14:09:02 2022 +0200

    docs: build.md: add link to Imovo tool

 docs/build.md | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/docs/build.md b/docs/build.md
index a95da5e44..495887268 100644
--- a/docs/build.md
+++ b/docs/build.md
@@ -60,6 +60,9 @@ JHBuild tips:
   build (see the difference with "jhbuild list gedit"). Another solution is to
   put some modules in the skip variable in jhbuildrc.
 
+There is also [Imovo](https://gitlab.gnome.org/swilmet/imovo), a more minimal
+tool.
+
 Building the gedit module manually
 ----------------------------------