GitHub user wuchong opened a pull request:
https://github.com/apache/flink/pull/1762
[FLINK-3577] [docs] Display anchor links when hovering over headers.
This is useful to share the document url if display anchor links when
hovering over headers. Currently we must scroll up to the TOC, find the
section,click it, then copy the url.
Also add AnchorJs to LISENCE
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/wuchong/flink FLINK-3577
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/1762.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 #1762
----
commit a9f31855cb58c0f7e592f7c6b74862dafb71c093
Author: Jark Wu <[email protected]>
Date: 2016-03-04T10:53:10Z
[FLINK-3577] [docs] Display anchor links when hovering over headers.
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
