New technical docs site up and running at

(sole) #1

(“Crossposted” from our mailing list, just in case you only read stuff on this forum)


Some of you might know already, some might not. So here’s it: we have a new technical docs site at

It is an HTML render of the documentation in the docs folder of the DevTools code base. Which means that if you know how to send a patch, you know how to edit the documentation! Do edit if you find anything that needs to be improved!

The scripts to render and publish the documentation are here:

We’re using Travis CI as our cron ‘hosts’. Thank you Travis CI! \o/

The readme file has a few details on how this is set up, if you’re curious about it.