Closed this issue 4 years ago · 1 comments
Right now only the Makefile builds the Javadoc and manual.
Maven builds the docs by default now. Not worried about the manual.