Documentation: steps for precompilation