[FLINK-18804] ConfigDocsGenerator should not create files if they contain no options

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 1.12.0
• Component/s: Runtime / Configuration
• Labels: pull-request-available
• Assignee: Chesnay Schepler
• Reporter: Chesnay Schepler
• Created: 03/Aug/20 10:27
• Updated: 13/Apr/21 20:41
• Resolved: 05/Aug/20 10:26

Description

For a given file/section the generator always creates a file, regardless of whether it contains any option or not.
These effectively-empty files serve no purpose, and are just an inconvenience.

Issue Links

• links to: GitHub Pull Request #13052