tillrohrmann edited a comment on pull request #14223: URL: https://github.com/apache/flink/pull/14223#issuecomment-733856378
Hmm, locally it builds for me. But let me check whether I can find the problem. Concerning the redirect links, I have also thought about it. We can definitely do it but it will probably only be a best effort. Moreover, if you link to the latest documentation, then you shouldn't expect that all links stay forever the same. Maybe we should stop using `https://ci.apache.org/projects/flink/flink-docs-stable/` as the URL for the latest docs and instead use an explicit URL like `https://ci.apache.org/projects/flink/flink-docs-release-1.10/` to avoid this problem in the future. Concerning the configuration page, I would also be in favour of keeping it on a single page for the time being because of the same reasons as what Robert said. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
