Disabled JavaDoc because functionality is still broken in Debian OpenJDK
authorSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Wed, 29 Jan 2020 19:38:34 +0000 (21:38 +0200)
committerSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Wed, 29 Jan 2020 19:38:34 +0000 (21:38 +0200)
commit9fd4e404b77be4193d14e6cc799b3f42e24d4486
tree00e4f7e44b9ce13146994c7e7f48139190dcd898
parentc9a54e8bc3635716b221f921f0d025d02d78b684
Disabled JavaDoc because functionality is still broken in Debian OpenJDK

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920020
doc/index.html
doc/index.org
pom.xml
tools/update web site