--- xen-4.2.2/tools/qemu-xen/scripts/texi2pod.pl~	2013-04-06 01:39:54.000000000 +0200
+++ xen-4.2.2/tools/qemu-xen/scripts/texi2pod.pl	2013-07-22 14:27:37.959914694 +0200
@@ -339,6 +339,8 @@
 $sects{NAME} = "$fn \- $tl\n";
 $sects{FOOTNOTES} .= "=back\n" if exists $sects{FOOTNOTES};
 
+print "=encoding utf8\n";
+
 for $sect (qw(NAME SYNOPSIS DESCRIPTION OPTIONS ENVIRONMENT FILES
 	      BUGS NOTES FOOTNOTES SEEALSO AUTHOR COPYRIGHT)) {
     if(exists $sects{$sect}) {
--- xen-4.2.2/tools/qemu-xen-traditional/texi2pod.pl~	2013-04-06 01:39:54.000000000 +0200
+++ xen-4.2.2/tools/qemu-xen-traditional/texi2pod.pl	2013-07-22 14:27:37.959914694 +0200
@@ -339,6 +339,8 @@
 $sects{NAME} = "$fn \- $tl\n";
 $sects{FOOTNOTES} .= "=back\n" if exists $sects{FOOTNOTES};
 
+print "=encoding utf8\n";
+
 for $sect (qw(NAME SYNOPSIS DESCRIPTION OPTIONS ENVIRONMENT FILES
 	      BUGS NOTES FOOTNOTES SEEALSO AUTHOR COPYRIGHT)) {
     if(exists $sects{$sect}) {
--- xen-4.2.2/tools/qemu-xen-traditional/configure~	2013-07-22 14:35:56.118261587 +0200
+++ xen-4.2.2/tools/qemu-xen-traditional/configure	2013-07-22 14:43:48.376345178 +0200
@@ -1087,7 +1087,7 @@
 fi
 
 # Check if tools are available to build documentation.
-if [ -x "`which texi2html 2>/dev/null`" ] && \
+if [ -x "`which texi2any 2>/dev/null`" ] && \
    [ -x "`which pod2man 2>/dev/null`" ]; then
   build_docs="yes"
 fi
--- xen-4.2.2/tools/qemu-xen-traditional/Makefile~	2013-01-17 17:00:26.000000000 +0100
+++ xen-4.2.2/tools/qemu-xen-traditional/Makefile	2013-07-22 14:44:29.273423099 +0200
@@ -275,7 +275,7 @@
 
 # documentation
 %.html: %.texi
-	texi2html -monolithic -number $<
+	texi2any --html --no-split --number-sections $<
 
 %.info: %.texi
 	makeinfo $< -o $@