commit 0d4898df6c74bb382253d7991621d9c08031ae8c Author: iwakeh iwakeh@torproject.org Date: Mon Jun 26 20:12:13 2017 +0000
Rename 'DescripTor' to 'Tor Metrics Library' as part of task-22732. --- build.xml | 4 ++-- src/main/resources/overview.html | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/build.xml b/build.xml index 0de365c..4c7cfff 100644 --- a/build.xml +++ b/build.xml @@ -7,9 +7,9 @@ <project default="usage" name="descriptor" basedir=".">
<property name="release.version" value="1.9.0-dev" /> - <property name="javadoc-title" value="DescripTor API Documentation"/> + <property name="javadoc-title" value="Tor Metrics Library API Documentation"/> <property name="javadoc-excludes" value="**/impl/** **/index/**" /> - <property name="implementation-title" value="DescripTor" /> + <property name="implementation-title" value="Tor Metrics Library" /> <property name="name" value="descriptor" /> <property name="jarpatternprop" value="empty" />
diff --git a/src/main/resources/overview.html b/src/main/resources/overview.html index f5c6b51..a565536 100644 --- a/src/main/resources/overview.html +++ b/src/main/resources/overview.html @@ -1,6 +1,6 @@ <html> <body> -<p>DescripTor API, which is provided and supported by Tor's Metrics +<p>Tor Metrics Library API, which is provided and supported by Tor's Metrics Team, is a library to obtain and process descriptors containing Tor network data. It is the main Java tool for processing Tor descriptors and provides a standard API consisting of interfaces and a reference @@ -54,13 +54,13 @@ the application. Stated differently, there are no descriptor sinks that would correspond to the provided descriptor sources.</li> </ul></p>
-<p>Hints about using DescripTor can be found in the +<p>Hints about using Tor Metrics Library can be found in the <a href="./org/torproject/descriptor/package-summary.html#package.description">{@code org.torproject.descriptor} package description</a>. </p>
<p>Contact and further information: <ul> -<li><a href="https://trac.torproject.org/projects/tor/query?status=!closed&component=Metrics%2Fmetrics-lib">DescripTor Bug Tracker</a></li> +<li><a href="https://trac.torproject.org/projects/tor/query?status=!closed&component=Metrics%2Fmetrics-lib">Tor Metrics Library Bug Tracker</a></li> <li><a href="https://lists.torproject.org/cgi-bin/mailman/listinfo/metrics-team">Metrics Team Mailing List</a></li> <li><a href="https://trac.torproject.org/projects/tor/wiki/org/teams/MetricsTeam">Metrics Team Website</a></li> </ul>