From mboxrd@z Thu Jan  1 00:00:00 1970
From: George Dunlap <george.dunlap@eu.citrix.com>
Subject: [PATCH] Fix documentation build
Date: Tue, 6 Sep 2011 15:52:29 +0100
Message-ID: <6ee237f744acebecf48c.1315320749@elijah>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xensource.com>
List-Unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: xen-devel@lists.xensource.com
Cc: george.dunlap@eu.citrix.com
List-Id: xen-devel@lists.xenproject.org

Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>

diff -r 0268e7380953 -r 6ee237f744ac docs/src/user.tex
--- a/docs/src/user.tex	Mon Sep 05 15:10:28 2011 +0100
+++ b/docs/src/user.tex	Tue Sep 06 15:52:20 2011 +0100
@@ -2280,7 +2280,7 @@ writing to the VGA console after domain 
 \item [ vcpu\_migration\_delay=$<$minimum\_time$>$] Set minimum time of 
   vcpu migration in microseconds (default 0). This parameter avoids agressive
   vcpu migration. For example, the linux kernel uses 0.5ms by default.
-\item [ irq_vector_map=xxx ] Enable irq vector non-sharing maps.  Setting 'global' 
+\item [ irq\_vector\_map=xxx ] Enable irq vector non-sharing maps.  Setting 'global' 
   will ensure that no  IRQs will share vectors.  Setting 'per-device' will ensure 
   that no IRQs from the same device will share vectors.  Setting to 'none' will
   disable it entirely, overriding any defaults the IOMMU code may set.