From 8ecbea1885f21e55e5a56488f6b22c7ade536510 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Tue, 16 Dec 2014 16:36:05 +0000
Subject: [PATCH] - fixed char encoding in javadoc
---
build.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/build.xml b/build.xml
index df4fc90e..f994fe1d 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}"
--
GitLab