docs: rename vmware-guest article

No other drivers use the vendor in the title or path, so it seems better
to not do this for the vmware-guest driver as well. So let's rename it
to SVGA instead. The actual text itself makes it clear enough what it is
about.

This makes it stand out less in the toctree.

I chose the name "WMware SVGA3D", because that's less ambigious than the
"SVGA"-alternative, and was requested by VMware people.t

Reviewed-by: Alyssa Rosenzweig <alyssa.rosenzweig@collabora.com>
Reviewed-by: Chia-I Wu <olvaffe@gmail.com>
Acked-by: Jose Fonseca <jfonseca@vmware.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/11109>

docs/conf.py

@@ -135,6 +135,7 @@ html_extra_path = [
 ]
 
 html_redirects = [
+  ('drivers/vmware-guest', 'drivers/svga3d.html'),
   ('gallium/drivers/freedreno', 'drivers/freedreno.html'),
   ('gallium/drivers/freedreno/ir3-notes', 'drivers/freedreno/ir3-notes.html'),
   ('gallium/drivers/llvmpipe', 'drivers/llvmpipe.html'),

docs/drivers/svga3d.rst

@@ -1,5 +1,5 @@
-VMware SVGA3D Guest Driver
-==========================
+VMware SVGA3D
+=============
 
 This page describes how to build, install and use the
 `VMware <https://www.vmware.com/>`__ guest GL driver (aka the SVGA or

docs/index.rst

@@ -89,10 +89,10 @@ Linux, FreeBSD, and other operating systems.
    drivers/llvmpipe
    drivers/openswr
    drivers/panfrost
+   drivers/svga3d
    drivers/v3d
    drivers/vc4
    drivers/venus
-   drivers/vmware-guest
    drivers/zink
 
 .. toctree::

docs/systems.rst

@@ -32,7 +32,7 @@ Software drivers include:
 -  :doc:`llvmpipe <drivers/llvmpipe>` - uses LLVM for x86 JIT code generation
    and is multi-threaded
 -  softpipe - a reference Gallium driver
--  :doc:`svga <drivers/vmware-guest>` - driver for VMware virtual GPU
+-  :doc:`svga <drivers/svga3d>` - driver for VMware virtual GPU
 -  `swr <https://www.openswr.org/>`__ - x86-optimized software renderer
    for visualization workloads
 -  `virgl <https://virgil3d.github.io/>`__ - research project for