commit a91e320bc5c9863c421dee3d214c710d868c0cfb Author: Karsten Loesing karsten.loesing@gmx.net Date: Tue May 24 20:32:53 2016 +0200

Add Javadoc titles, usage info, and footer.

Suggested by iwakeh on #18733. --- build.xml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml index 2acaa26..10c5edd 100644 --- a/build.xml +++ b/build.xml @@ -105,7 +105,11 @@ </target> <target name="docs"> <mkdir dir="${docs}"/> - <javadoc destdir="${docs}"> + <javadoc destdir="${docs}" + footer="&amp;copy; 2016 The Tor Project" + doctitle="CollecTor Documentation" + use="true" + windowtitle="CollecTor Documentation"> <classpath refid="classpath"/> <fileset dir="${sources}/" includes="**/*.java" /> </javadoc>