fix javadoc: display smila release version in title
diff --git a/core/SMILA.builder/make.xml b/core/SMILA.builder/make.xml
index 5940016..06b3a19 100644
--- a/core/SMILA.builder/make.xml
+++ b/core/SMILA.builder/make.xml
@@ -508,7 +508,7 @@
   </target>

 

   <!-- Generates the Javadocs for all SMILA classes. -->

-  <target name="javadoc">

+  <target name="javadoc" depends="versions">

     <property name="javadoc.title" value="SMILA ${smila.release} API documentation" />

     <delete dir="${javadoc.dir}" />

     <javadoc destdir="${javadoc.dir}" useexternalfile="yes" windowtitle="${javadoc.title}">