diff options
| author | Felix Singer <felixsinger@posteo.net> | 2023-08-25 20:54:14 +0200 |
|---|---|---|
| committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2023-08-27 11:15:00 +0000 |
| commit | 7f50bcca932151af31eeca0690492c49315a5896 (patch) | |
| tree | aed3ef000e5da410f0fe82b4faa03955562a308d /Documentation/getting_started/devicetree.md | |
| parent | ead437f14396a5e95506f6e54ba6a6010ad658b9 (diff) | |
doc/mainboard/index: Deduplicate menu points for T530 and W530
Both mainboards have the same documentation. Instead of having two list
items referring to the same document, just merge the two items.
This fixes the following Sphinx warning:
WARNING: duplicated entry found in toctree: mainboard/lenovo/w530
Change-Id: I4140b34db01b1d5f47a39b9c1e33405e7789de63
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/77503
Reviewed-by: Nicholas Chin <nic.c3.14@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'Documentation/getting_started/devicetree.md')
0 files changed, 0 insertions, 0 deletions