Skip to content

Fix javadoc publishing#916

Merged
nedtwigg merged 5 commits intomainfrom
feat/fix-javadoc
Aug 20, 2021
Merged

Fix javadoc publishing#916
nedtwigg merged 5 commits intomainfrom
feat/fix-javadoc

Conversation

@nedtwigg
Copy link
Copy Markdown
Member

@nedtwigg nedtwigg commented Aug 20, 2021

I think this should fix #775.

The problem was that the doclet we used to put markdown into our javadoc required JDK8, so we just disabled the javadoc task on non-JDK8 machines. Rather than figure out how to get the doclet working on JDK11 or change our publishing JDK, I just removed the doclet and replaced the markdown-style code ticks with javadoc-style {@code blocks. I wish javadoc supported markdown, but it's not worth fighting the ecosystem over it.

@nedtwigg nedtwigg merged commit 0d1a769 into main Aug 20, 2021
@nedtwigg nedtwigg deleted the feat/fix-javadoc branch August 20, 2021 20:42
Copy link
Copy Markdown
Member

@jbduncan jbduncan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a couple of nit-related comments from me, but otherwise this change seems very pragmatic to me. Well done! 👍

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.

Javadoc AccessDenied error

2 participants