From d89fa8306e97492d3c54875a3665a5fd4d310010 Mon Sep 17 00:00:00 2001
From: Andrea Bolognani
Date: Wed, 23 Aug 2017 13:55:01 +0200
Subject: [PATCH] docs: Define anchors correctly in pci-hotplug
HTML5 obsoletes the 'name' attribute in favor of 'id',
and our TOC generator apparently follows the recommendation
to the letter, resulting in a broken TOC if you use the
old-school attribute.
Signed-off-by: Andrea Bolognani
---
docs/pci-hotplug.html.in | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/docs/pci-hotplug.html.in b/docs/pci-hotplug.html.in
index cddc6f81b4..6e0648ee26 100644
--- a/docs/pci-hotplug.html.in
+++ b/docs/pci-hotplug.html.in
@@ -33,9 +33,9 @@
types, hence the way it's organized.
-
+
-
+
This is a PCI Express native machine type. The default PCI topology
@@ -104,7 +104,7 @@
from 0x01 to 0x1f of the pci-bridge
controller.
-
+
This is a legacy PCI native machine type. The default PCI
@@ -121,9 +121,9 @@
assigned from the guest.
-
+
-
+
The default PCI topology for the pseries
machine
@@ -162,9 +162,9 @@
from the host.
-
+
-
+
This machine type mostly behaves the same as the