[ https://issues.apache.org/jira/browse/FLINK-5781?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16000613#comment-16000613 ]
ASF GitHub Bot commented on FLINK-5781: --------------------------------------- Github user zentol commented on the issue: https://github.com/apache/flink/pull/3495 I'll check this out again today. I will try to integrate the generated tables into the respective documentation to see if there isn't some edge case we haven't considered. If I don't find anything i will merge it and open a separate PR with the docs integration. > Generation HTML from ConfigOption > --------------------------------- > > Key: FLINK-5781 > URL: https://issues.apache.org/jira/browse/FLINK-5781 > Project: Flink > Issue Type: Sub-task > Components: Documentation > Reporter: Ufuk Celebi > Assignee: Dawid Wysakowicz > > Use the ConfigOption instances to generate a HTML page that we can use to > include in the docs configuration page. -- This message was sent by Atlassian JIRA (v6.3.15#6346)