gnome/gedit
gnome/gedit
1
0
Fork 0
mirror of https://github.com/GNOME/gedit synced 2024-07-04 16:59:10 +00:00
Code Issues Projects Releases Wiki Activity

docs: build.md: add link to Imovo tool

Browse Source
This commit is contained in:
Sébastien Wilmet 2022-07-15 14:09:02 +02:00
parent 7b364abc6b
commit 5bdce73222
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
docs/build.md
View File

@ -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
----------------------------------