Create separate libdevhelp git repository
@swilmet
Submitted by Sébastien Wilmet Link to original bug (#784351)
Description
Proposal: create a separate libdevhelp git repository.
There are several problems with the Devhelp library in its current shape:
- API stability is not really guaranteed, even if we try to not break Anjuta and gnome-builder.
- When we'll switch to GTK+ 4, all applications depending on the Devhelp library would need to be ported to GTK+ 4 during the same development cycle. This is clearly not practical.
So I propose to:
- Fork the devhelp repo into libdevhelp where only the library part is kept.
- The Devhelp app would depend on the latest version of libdevhelp.
- API stability would be guaranteed in libdevhelp; if we want to break the API, we simply bump the major version, making it parallel-installable with previous major versions (like GTK+ 3 and GTK+ 4).
- When we port libdevhelp to GTK+ 4, we bump the major version so that the GTK+ 3 version is still available.
I don't plan to do this right away, but I think this needs to be done at least before porting to GTK+ 4.