[jira] [Created] (FLINK-16895) Remove outdated and defunct build_docs.bat

[Shang Yuanchun (Jira)]

Stephan Ewen created FLINK-16895:
------------------------------------

             Summary: Remove outdated and defunct build_docs.bat
                 Key: FLINK-16895
                 URL: https://issues.apache.org/jira/browse/FLINK-16895
             Project: Flink
          Issue Type: Improvement
          Components: Stateful Functions
            Reporter: Stephan Ewen
            Assignee: Stephan Ewen
             Fix For: 2.0.0


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).



--
This message was sent by Atlassian Jira
(v8.3.4#803005)