There's a stray space on https://www.pantsbuild.org/docs/plugins-fmt-goal in

platform_mapping

in step 1 on the last entry in the leading whitespace

thanks! in future, feel free to

Suggest an Edit

at the top right

I did that once and was dissuaded. Perhaps it depends on the page/contents whether that button should be used or not

It does. You're only dissuaded from anything in the "Reference" section on the home page - those 4 all all generated from code docstrings. For those, you edit the code.

OK that makes sense

ah, yea: sorry for the confusion.

Actually, why aren't the docs source in the repo?

They used to be. The long and the short of it is everyone agreed over a long span of time the generated doc site that resulted was a problem. Over that same long span of time no one stepped up to do something about it. Finally Benjy or Eric or both did. In my mind action wins in a case like that, full stop. That said there were also reasons I can't remember for the choice. My guess was the bias was towards non-developer users (which doesn't actually make sense), or more accurately, developer users that found editing via a web UI more approachable / submitting PRs more burdensome.

So IIUC the doc site isn't generated from some file(s) like Markdown? And therefore couldn't be hosted in repo?

The doc site is hand written using the web UI except for the 4 generated reference subsections discussed above. For more info you're probably best familiarizing yourself with readme.com docs. We have no fancy arrangements with them and are using the stock product.

Ah OK, then that makes complete sense

Yeah we really liked Readme.com compared to other options like readthedocs. Along the way, we realized the need for generated docs so Benjy wrote the

generate_docs.py

script to use the readme.com API