[metrics-lib/release] Rename 'DescripTor' to 'Tor Metrics Library' as part of task-22732. - tor-commits

28 Jun 2017

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>

    