[tor-commits] [metrics-web/master] Fix generated metrics-lib JavaDocs.

[karsten at torproject.org]

commit bba56f6a536c34e858b1e78256e3209a5d27cd7e
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Wed Aug 7 21:33:34 2019 +0200

    Fix generated metrics-lib JavaDocs.
---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index b4a27e5..d8c0c07 100644
--- a/build.xml
+++ b/build.xml
@@ -210,6 +210,7 @@
           dir="${basedir}/src/submods/metrics-lib"
           failonerror="true" >
       <arg value="clean" />
+      <arg value="resolve" />
       <arg value="docs" />
     </exec>
   </target>