[patch] texi2html version 5.x patch

4.1.2-texi2html.patch (text/plain), 316 bytes, created by Joerg Neikes on 2012-03-22 15:42:04 UTC

--- 1/tools/ioemu-qemu-xen/Makefile	2012-03-22 16:16:29.630228418 +0100
+++ 2/tools/ioemu-qemu-xen/Makefile	2012-03-22 16:16:54.650229495 +0100
@@ -275,7 +275,7 @@
 
 # documentation
 %.html: %.texi
-	texi2html -monolithic -number $<
+	texi2html -monolithic -number-sections $<
 
 %.info: %.texi
 	makeinfo $< -o $@