I did copy the documentation over a year ago, but anything added there since then would be missing on docs.webkit.org <http://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 trac too, but I am sure there might have been a few things I missed. Brandon > On Mar 25, 2024, at 12:28 PM, Michael Catanzaro via webkit-dev > <webkit-dev@lists.webkit.org> wrote: > > Hi, > > I've noticed we have a bunch of documentation on > https://github.com/WebKit/WebKit/wiki that has not been migrated to > https://docs.webkit.org/index.html. Some of the documentation looks pretty > important, e.g. [1]. In the case of this specific page, we can probably just > copy/paste it onto the bottom of [2] or similiar; it's easy to move since > it's Markdown in either place. We should think about what to do with the > other pages, though. > > Michael > > [1] https://github.com/WebKit/WebKit/wiki/Smart-Pointer-Usage-Guidelines > [2] https://docs.webkit.org/Deep%20Dive/MemoryManagement.html > > > _______________________________________________ > webkit-dev mailing list > webkit-dev@lists.webkit.org > https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev