diff --git a/build.xml b/build.xml index df4fc90ea0de9168d190262462244eb3ba380f2e..f994fe1d65c9e5a3e26779b9e3f42ac02d444da0 100644 --- a/build.xml +++ b/build.xml @@ -363,6 +363,7 @@ destdir="javadoc" author="true" version="true" + encoding="iso8859-15" Use="true" Splitindex="true" private="true" Windowtitle="Alignment API and Server" doctitle="Alignment API and Server ${version}"