From 6a9b2c2fa69e0fa07e3757dbda31b74c32b41b39 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 8 Oct 2014 21:36:29 +0200
Subject: [PATCH] Fix encoding for javadoc.

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index c622a31..0d15097 100644
--- a/Makefile
+++ b/Makefile
@@ -11,6 +11,7 @@ all:
 	$(MAKE) -f ../Makefile.generic $(EXAMPLES_CLASS)
 	$(RM) -r html
 	javadoc -author -version -notree -nodeprecated -nohelp \
+		-encoding utf-8 -docencoding utf-8 -charset utf-8 \
 		-d html/ $(SRC)
 
 clean:
-- 
2.20.1