[GitHub] flink pull request #5821: [FLINK-8742][docs] Move docs generator annotations...

2018-04-06 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/flink/pull/5821 ---

[GitHub] flink pull request #5821: [FLINK-8742][docs] Move docs generator annotations...

2018-04-05 Thread zentol
GitHub user zentol opened a pull request: https://github.com/apache/flink/pull/5821 [FLINK-8742][docs] Move docs generator annotations to flink-annotations ## What is the purpose of the change This PR moves the docs generator annotations to flink-docs, for consolidation