[metrics-bugs] #21730 [Metrics/Metrics website]: Include metrics-lib's JavaDocs on the Metrics website

[Tor Bug Tracker & Wiki]

#21730: Include metrics-lib's JavaDocs on the Metrics website
-----------------------------------------+--------------------------
     Reporter:  karsten                  |      Owner:  metrics-team
         Type:  enhancement              |     Status:  new
     Priority:  Medium                   |  Milestone:
    Component:  Metrics/Metrics website  |    Version:
     Severity:  Normal                   |   Keywords:
Actual Points:                           |  Parent ID:
       Points:                           |   Reviewer:
      Sponsor:                           |
-----------------------------------------+--------------------------
 We should include metrics-lib's JavaDocs on the Metrics website, possibly
 at `https://metrics.torproject.org/metrics-lib/*`.  We'll likely want to
 automate this using Ant and possibly a Git submodule.  For that we could
 either build metrics-lib as part of metrics-web, or we could just generate
 the docs for metrics-lib's sources in metrics-web's build file.  Once we
 have this Git-and-Ant magic in place we should update
 [https://gitweb.torproject.org/metrics-web.git/tree/website/web/WEB-INF
 /metrics-lib.jsp metrics-lib.jsp] and link to the JavaDocs, once in the
 jumbotron and once more in the "Next steps" section.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/21730>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online