Hi! I'd love to help with this. However, I'm not sure where I would need to add this information in order to make it appear above the list of Packages on the main page of the stdlib documentation. Can you point me in the right direction?

(Alternately perhaps it needs to go in the tutorial somewhere?)

@Pyrrh awesome.

So... there's documentation generation for the standard library built into the pony compiler.
That documentation is then uploaded to a repo for hosting. That is done using the docs-online Makefile target.

It first does regular documentation generation using the docs target. Then it does other modifications currently:

docs-online: docs
$(SILENT)$(SED_INPLACE) 's/site_name:\ stdlib/site_name:\ Pony Standard Library/' stdlib-docs/mkdocs.yml

If you generate docs, you'll see the mkdocs format content that gets created. This can be added to, etc to change the index to include information on how to contribute to the standard library; which really means, pointing folks at the RFC documentation.

Having a general "header" after the <hr> and before the package list would be a good place for such information (as well as any others we might want to have).

You could add content in .docs to be added in to the index.

Hopefully this makes sense. If not now, then once you get started.

@SeanTAllen I started work on this, but there is no longer a docs target in the Makefile. Is this intentional, or was it incidental?

I was able to get the docs locally by following the steps in CI so I can make progress tonight, but wanted to note the lack of docs target.

@rhagenson intentional.

I see. Where would be the correct place to then add this "How to contribute" content so it appears on the index page?

It would have to be part of the script that creates the docs to update the generated mkdocs to include some additional content.

Okay. Similar to how it was done back when the docs target did exist. Thank you.