We use Gradle, use ./gradlew
build to compile the project.
On our static sites (including the home page and docs page), we use gulp, a build system on node.js. You do not have to worry about this when editing documentation, just edit one of the files in the docs directory. Your changes will be handled like any PR.