diff options
| author | Thomas Gleixner <tglx@linutronix.de> | 2019-06-14 09:02:49 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2019-06-14 11:02:13 -0600 |
| commit | ce1a5ea18ef9bf4c62c75abe7c540a29264ec988 (patch) | |
| tree | f511d6765fb228041208e738355ef7dc9256de20 /scripts/sphinx-pre-install | |
| parent | b640fbad2d8fe120c761f61eb6c96f05047100cd (diff) | |
Documentation: Remove duplicate x86 index entry
x86 got added twice to the index via the RST conversion and the MDS
documentation changes. Remove one instance.
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/sphinx-pre-install')
0 files changed, 0 insertions, 0 deletions