diff --git a/docs/index.rst b/docs/index.rst
index 80d4f6a640072042d9e18574172173f0fb06836b..48dde1cc3e92a1db1b8994057a3e8eba95af2d0a 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -228,10 +228,12 @@ ar71xx-nand
 
 brcm2708-bcm2708
 ^^^^^^^^^^^^^^^^
+
 * RaspberryPi 1
 
 brcm2708-bcm2709
 ^^^^^^^^^^^^^^^^
+
 * RaspberryPi 2
 
 mpc85xx-generic
@@ -243,6 +245,7 @@ mpc85xx-generic
 
 x86-generic
 ^^^^^^^^^^^
+
 * x86-generic
 * x86-virtualbox
 * x86-vmware
@@ -251,18 +254,21 @@ See also: :doc:`user/x86`
 
 x86-kvm_guest
 ^^^^^^^^^^^^^
+
 * x86-kvm
 
 See also: :doc:`user/x86`
 
 x86-xen_domu
 ^^^^^^^^^^^^
+
 * x86-xen
 
 See also: :doc:`user/x86`
 
 x86-64
 ^^^^^^
+
 * x86-64-generic
 * x86-64-virtualbox
 * x86-64-vmware