users@javaserverfaces-spec-public.java.net

[jsr372-experts mirror] Tool used for rendering JavaDocs with diffs

From: Gunnar Morling <gunnar_at_hibernate.org>
Date: Thu, 9 Feb 2017 08:37:42 +0100

Hi,

Congrats on reaching the Public Review phase!

I noticed you publish JavaDocs where all changes are nicely coloured.
What is the tool used for rendering these JavaDocs? Is it freely
available? I'd love to do the same for Bean Validation drafts.

Thanks,

--Gunnar