[ https://issues.apache.org/jira/browse/FLINK-5781?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16004248#comment-16004248 ]
ASF GitHub Bot commented on FLINK-5781: --------------------------------------- Github user dawidwys commented on the issue: https://github.com/apache/flink/pull/3495 There is a problem with the prefix solution. See the mentioned JobManager and WebFrontentd options, prefix for JobManager options is "jobmanager" which also covers prefix for WebFrontend options which is "jobmanager.web". > 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)