Re: [webkit-dev] Lost docs!

I did copy the documentation over a year ago, but anything added there since then would be missing on docs.webkit.org . The document you pointed out hasn’t been ported yet, so it would be good to copy that as well. I tried to get most of the relevant documentation from

[webkit-dev] WebKit Documentation using MkDocs

Hello, I got feedback that people would prefer not to add Swift as a requirement for building the documentation. Since WebKit relies heavily on Python for large parts of its tooling, I decided to port it over to a popular Python documentation system MkDocs. This provides a few benefits over

Re: [webkit-dev] WebKit Documentation

) Other Could you please reply to this e-mail indicating which origin you would prefer? Thanks, Brandon > On Feb 28, 2023, at 12:39 AM, dpino via webkit-dev > wrote: > > > > On 9/20/22 05:28, Brandon Stewart via webkit-dev wrote: >> Hi WebKit Developers, >> >>

[webkit-dev] WebKit Documentation

Hi WebKit Developers, Documentation is an important part of any open source project, especially for a larger project like WebKit. Being able to ramp up during the onboarding process, reading up on architectural decisions, and learning how to perform common procedures are all features the