# HG changeset patch
# User Keir Fraser <keir@xen.org>
# Date 1315320580 -3600
# Node ID 5fe770c8a8a35c58893816ee6335a90ed43f3bbd
# Parent  0268e73809532a4a3ca18a075efcee3c62caf458
docs: Fix 'make docs'

Signed-off-by: Keir Fraser <keir@xen.org>

Index: xen-4.1.2-testing/docs/src/user.tex
===================================================================
--- xen-4.1.2-testing.orig/docs/src/user.tex
+++ xen-4.1.2-testing/docs/src/user.tex
@@ -4197,7 +4197,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.