[PATCH 4/4] Documentation: document build configuration file