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
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
On Wed, Apr 3 2024 at 09:47:05 PM -05:00:00, Brandon Stewart <brandonstewart@apple.com> wrote:
I did copy the documentation over a year ago, but anything added there since then would be missing on docs.webkit.org.
Perhaps we should just turn off the wiki to prevent more stuff from being added by mistake? Anybody still need the GitHub wiki? It's really best to have just one place for our docs.
Would it be also possible to redirect the webkit.org build instructions<https://webkit.org/webkit-on-windows/> for Windows over to the docs.webkit.org build instructions<https://docs.webkit.org/Ports/WindowsPort.html>? Since they are getting more and more outdated. Thanks, Max ________________________________ From: Michael Catanzaro via webkit-dev <webkit-dev@lists.webkit.org> Sent: Thursday, April 4, 2024 2:45 PM To: Brandon Stewart <brandonstewart@apple.com> Cc: webkit-dev@lists.webkit.org <webkit-dev@lists.webkit.org> Subject: [EXTERNAL] Re: [webkit-dev] Lost docs! On Wed, Apr 3 2024 at 09:47:05 PM -05:00:00, Brandon Stewart <brandonstewart@apple.com> wrote:
I did copy the documentation over a year ago, but anything added there since then would be missing on docs.webkit.org.
Perhaps we should just turn off the wiki to prevent more stuff from being added by mistake? Anybody still need the GitHub wiki? It's really best to have just one place for our docs. _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.webkit.org%2Fmailman%2Flistinfo%2Fwebkit-dev&data=05%7C02%7Cmax.schmitt%40microsoft.com%7C5374fe722fe24095285708dc54a554ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C638478316310746385%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=KjAC7J55jvRKpS2U9uXdHhZ2zAx5fNTL0TtSMhgWhTc%3D&reserved=0<https://lists.webkit.org/mailman/listinfo/webkit-dev>
participants (3)
-
Brandon Stewart
-
Max Schmitt
-
Michael Catanzaro