[GitHub] flink pull request #3916: [FLINK-6590] Integrate automatic docs generation

[rmetzger]

Github user rmetzger commented on a diff in the pull request:

    https://github.com/apache/flink/pull/3916#discussion_r119594668
  
    --- Diff: docs/_includes/generated/environment_options_configuration.html 
---
    @@ -0,0 +1 @@
    +<table class="table table-bordered"><thead><tr><th class="text-left" 
style="width: 20%">Key</th><th class="text-left" style="width: 15%">Default 
Value</th><th class="text-left" style="width: 
65%">Description</th></tr></thead><tbody><tr><td><h5>env.java.opts</h5></td><td>(none)</td><td>Set
 custom JVM options. This value is respected by Flink's start scripts, both 
JobManager and TaskManager, and Flink's YARN client. This can be used to set 
different garbage collectors or to include remote debuggers into the JVMs 
running Flink's services. Enclosing options in double quotes delays parameter 
substitution allowing access to variables from Flink's startup 
scripts.&#60;p&#62;Use `env.java.opts.jobmanager` and 
`env.java.opts.taskmanager` for JobManager or TaskManager-specific options, 
respectively. 
&#60;/p&#62;</td></tr><tr><td><h5>env.java.opts.jobmanager</h5></td><td>(none)</td><td>JobManager-specific
 JVM options. These are used in addition to the regular 
`env.java.opts`.</td></tr><tr>
 
<td><h5>env.java.opts.taskmanager</h5></td><td>(none)</td><td>TaskManager-specific
 JVM options. These are used in addition to the regular 
`env.java.opts`.</td></tr></tbody></table>
    --- End diff --
    
    Maybe we can improve human readability by using newlines after each table 
row?


---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---