HomeSoftware Heritage

doc: stop building javadoc for now, as we do not ship it anyway

Description

doc: stop building javadoc for now, as we do not ship it anyway

... and it is brittle enough to make the overall doc build fail fairly
often. We will reconsider building it when we can actually shipped it (see
T1971)

Details

Provenance
zackAuthored on Nov 9 2019, 6:22 PM
zackPushed on Nov 9 2019, 6:23 PM
Parents
rDGRPHddf77c8d263b: doc: integrate git2graph doc into top-level doc and toc
Branches
Unknown
Tags
Unknown
Build Status
Buildable 8929
Build 13040: test-and-buildJenkins