[
https://issues.apache.org/jira/browse/FLINK-5781?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16006150#comment-16006150
]
ASF GitHub Bot commented on FLINK-5781:
---------------------------------------
Github user dawidwys commented on the issue:
https://github.com/apache/flink/pull/3495
I do like you code, only thing missing I had in mind yesterday was an idea
of defaultGroup, which is an easy way to group options with not overlapping
prefixes e.g. right now in documentation (in doc files) of jobmanager we have
options like jobmanager.* and blob.*.
I modified a little bit your solution to enable the defaultGroup. What do
you think of that idea?
> 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)
