From 0a05643b928d724c048e4306955642d91f24d33c Mon Sep 17 00:00:00 2001
From: root <root@rshg054.dnsready.net>
Date: Tue, 20 Nov 2012 02:04:03 -0800
Subject: Tue Nov 20 02:04:03 PST 2012

---
 kernels/xen/texi2html.patch | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 kernels/xen/texi2html.patch

(limited to 'kernels/xen/texi2html.patch')

diff --git a/kernels/xen/texi2html.patch b/kernels/xen/texi2html.patch
new file mode 100644
index 000000000..8f22773c9
--- /dev/null
+++ b/kernels/xen/texi2html.patch
@@ -0,0 +1,10 @@
+--- a/tools/Makefile	2012-09-17 22:25:54.683349679 -0500
++++ b/tools/Makefile	2012-09-17 22:49:08.923331802 -0500
+@@ -164,6 +164,7 @@
+ 		$(QEMU_ROOT)/xen-setup \
+ 		--extra-cflags="$(EXTRA_CFLAGS_QEMU_TRADITIONAL)" \
+ 		$(IOEMU_CONFIGURE_CROSS); \
++		sed -i 's/number[ ]/number-sections /' Makefile; \
+ 		$(MAKE) install
+ 
+ subdir-clean-qemu-xen-traditional-dir:
-- 
cgit v1.2.3-54-g00ecf