[GitHub] flink pull request #5163: [FLINK-8254][REST][docs] Bandaid generated documen...

[zentol]

Github user zentol closed the pull request at:

https://github.com/apache/flink/pull/5163


---

[GitHub] flink pull request #5163: [FLINK-8254][REST][docs] Bandaid generated documen...

[zentol]

GitHub user zentol opened a pull request:

https://github.com/apache/flink/pull/5163

[FLINK-8254][REST][docs] Bandaid generated documentation

## What is the purpose of the change

This is a bandaid PR that replaces the generated file with a correct 
version and updates the instructions with a workaround.

## Verifying this change

Manually verified.


You can merge this pull request into a Git repository by running:

$ git pull https://github.com/zentol/flink 8254

Alternatively you can review and apply these changes as the patch at:

https://github.com/apache/flink/pull/5163.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

This closes #5163


commit c3723d610836ef82969946248a279f2fae1cfbce
Author: zentol 
Date:   2017-12-13T15:51:51Z

[FLINK-8254][REST][docs] Bandaid generated documentation




---