GitHub user dyanarose opened a pull request:
https://github.com/apache/flink/pull/2040
[FLINK-3975] [docs] Override baseurl when serving docs locally
Updating build_docs.sh to serve the docs locally with the correct url.
This change makes build_docs.sh run the equivalent serve command to
build_docs.bat.
removing now unnecessary config file.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/dyanarose/flink FLINK-3975
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/2040.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 #2040
----
commit 96af1da4e4770f2e6ed18d8413a6ea106927606e
Author: Dyana Rose <[email protected]>
Date: 2016-05-26T20:40:07Z
[FLINK-3975] [docs] Override baseurl when serving docs locally
----
---
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.
---
