Re: [webkit-dev] Lost docs!

[Michael Catanzaro via webkit-dev]

On Wed, Apr 3 2024 at 09:47:05 PM -05:00:00, Brandon Stewart 
 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://lists.webkit.org/mailman/listinfo/webkit-dev

Re: [webkit-dev] Lost docs!

[Brandon Stewart via webkit-dev]

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 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 
>  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

[webkit-dev] Lost docs!

[Michael Catanzaro via webkit-dev]

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