On Sat, Dec 17 2022 at 07:57:25 PM +0200, André A. Gomes <andremegaf...@gmail.com> wrote:
Hi,

I don't understand how WebKitGTK sources are generated. I see that the
file structure resembles that of WebKit git sources hosted on GitHub.

Is there are a repository where WebKitGTK lives?

It is developed in https://github.com/WebKit/WebKit/

 Is there a script or a
manual procedure that transforms WebKit sources into WebKitGTK sources?


Hi, the tarballs are generated using this script:

https://github.com/WebKit/WebKit/blob/main/Tools/Scripts/make-dist

And this manifest:

https://github.com/WebKit/WebKit/blob/main/Tools/gtk/manifest.txt.in




_______________________________________________
webkit-gtk mailing list
webkit-gtk@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-gtk

Reply via email to