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

commit bba56f6a536c34e858b1e78256e3209a5d27cd7e Author: Karsten Loesing karsten.loesing@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>