--- 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 $@