[FLINK-16895] Remove outdated and defunct build_docs.bat

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 1.11.0, 2.0.0
• Component/s: Documentation, Stateful Functions
• Assignee: Stephan Ewen
• Reporter: Stephan Ewen
• Created: 31/Mar/20 19:22
• Updated: 17/Apr/20 22:51
• Resolved: 17/Apr/20 22:51

Description

The "build_docs.bat" has not been maintained and is not working any more.

With Docker-based build setups, and better support for Unix tools on Windows (cygwin, WSL), this file is apparently not used any more by developers (given lack of maintenance).