Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

skip javadoc compilation for 2.10 #1051

Merged
merged 2 commits into from
May 30, 2016
Merged

skip javadoc compilation for 2.10 #1051

merged 2 commits into from
May 30, 2016

Conversation

kailuowang
Copy link
Contributor

@kailuowang kailuowang commented May 21, 2016

Hopefully this would unblock #898 and #1041

@ceedubs
Copy link
Contributor

ceedubs commented May 21, 2016

Thanks @kailuowang - I'm glad to hopefully see the end of the doc troubles. Would you mind adding a brief comment about why this is being done?

@kailuowang
Copy link
Contributor Author

@ceedubs just consolidated with the existing skip-doc-at-210 settings together with its comment.

@ceedubs
Copy link
Contributor

ceedubs commented May 21, 2016

👍

@non
Copy link
Contributor

non commented May 30, 2016

Yeah, this makes sense. We should open an issue to re-enable these once @inthenow's fixes land in SBT. 👍

@non non merged commit ce92626 into typelevel:master May 30, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants