From e1cee1085ab19d4fa3abb2d7710bf875e5d18645 Mon Sep 17 00:00:00 2001
From: Matthias Bolte <matthias.bolte@googlemail.com>
Date: Thu, 23 Dec 2010 16:56:11 +0100
Subject: [PATCH] docs: Make VMware Workstation / Player page appear in the
 menu

By adding it to sitemap.html.in. Also <ul> can't be nested in <p>.
---
 docs/drvvmware.html.in | 4 +++-
 docs/sitemap.html.in   | 4 ++++
 2 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/docs/drvvmware.html.in b/docs/drvvmware.html.in
index 273e0a0084..0ef6044d67 100644
--- a/docs/drvvmware.html.in
+++ b/docs/drvvmware.html.in
@@ -1,6 +1,6 @@
 <html>
     <body>
-        <h1>VMware Workstation/Player hypervisors driver</h1>
+        <h1>VMware Workstation / Player hypervisors driver</h1>
         <p>
         The libvirt VMware Workstation driver should be able to manage any Workstation and
         Player version supported by the VMware VIX API. See the compatibility list
@@ -15,10 +15,12 @@
     <p>
     The libvirt VMware driver provides per-user drivers (the "session" instance).
     Two uris are available:
+    </p>
     <ul>
       <li>"vmwareplayer" for VMware Player</li>
       <li>"vmwarews" for VMware Workstation</li>
     </ul>
+    <p>
     Some example connection URIs for the driver are:
     </p>
 
diff --git a/docs/sitemap.html.in b/docs/sitemap.html.in
index 63e420fc92..490450e0e4 100644
--- a/docs/sitemap.html.in
+++ b/docs/sitemap.html.in
@@ -192,6 +192,10 @@
                 <a href="drvesx.html">VMware ESX</a>
                 <span>Driver for VMware ESX</span>
               </li>
+              <li>
+                <a href="drvvmware.html">VMware Workstation / Player</a>
+                <span>Driver for VMware Workstation / Player</span>
+              </li>
             </ul>
           </li>
           <li>
