Update the separate compilation docs.

To reflect the new tooling.