[ https://issues.apache.org/jira/browse/FLINK-5781?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15936508#comment-15936508 ]
ASF GitHub Bot commented on FLINK-5781: --------------------------------------- Github user dawidwys commented on the issue: https://github.com/apache/flink/pull/3495 Could someone have a look on it? I saw other modules start to migrate to `ConfigOption` so I think would be nice to use it for docs generation. > 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)