GitHub user zentol opened a pull request: https://github.com/apache/flink/pull/5387
[FLINK-8475][config][docs] Integrate optimizer options ## What is the purpose of the change This PR ports the batch compiler ConfigConstants to `ConfigOptions` and integrates them into the configuration docs generator. ## Brief change log * port compiler config constants to config options * Add missing descriptions to config options (derived from existing description/javadocs) * integrate compiler configuration table into `config.md` You can merge this pull request into a Git repository by running: $ git pull https://github.com/zentol/flink 8475_optimizer Alternatively you can review and apply these changes as the patch at: https://github.com/apache/flink/pull/5387.patch To close this pull request, make a commit to your master/trunk branch with (at least) the following in the commit message: This closes #5387 ---- commit 68ec1895d27da93107f01a500cbe6e59a05915b1 Author: zentol <chesnay@...> Date: 2018-01-23T12:20:08Z [FLINK-8475][config][docs] Integrate optimizer options ---- ---