[
https://issues.apache.org/jira/browse/FLINK-5781?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16006182#comment-16006182
]
ASF GitHub Bot commented on FLINK-5781:
---------------------------------------
Github user zentol commented on the issue:
https://github.com/apache/flink/pull/3495
Couldn't we create the default group implicitly by taking all options that
aren't part of any ConfigGroup? As in having ConfigGroup only describing
sub-groups that should be excluded from the default group?
> 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)
