From d5df740f17c2207fdf0e92181c2f74b6671fbe1b Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Mon, 26 Sep 2011 20:14:04 +0200
Subject: [PATCH] always compile documentation with UTF-8 encoding

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index bef4393b..68abafde 100755
--- a/build.sh
+++ b/build.sh
@@ -27,7 +27,7 @@
 #set -e
 
 # Manpage and HTML
-A2XM="a2x -f manpage --no-xmllint"
+A2XM="a2x -f manpage --no-xmllint -a encoding=UTF-8"
 A2XH="a2x -f xhtml --no-xmllint"
 
 # Developer webbase