diff -Naur -x '*~' xen-4.1.3/tools/ioemu-qemu-xen/Makefile xen-4.1.3-fix-doc-build/tools/ioemu-qemu-xen/Makefile
--- xen-4.1.3/tools/qemu-xen-traditional/Makefile	2012-04-24 19:35:40.000000000 +0200
+++ xen-4.1.3-fix-doc-build/tools/qemu-xen-traditional/Makefile	2012-08-23 09:41:05.124447549 +0200
@@ -275,7 +275,7 @@
 
 # documentation
 %.html: %.texi
-	texi2html -monolithic -number $<
+	texi2html -monolithic -number-sections $<
 
 %.info: %.texi
 	makeinfo $< -o $@