[coreboot-gerrit] Change in coreboot[master]: Documentation: Remove redundant 'documentation'

[Arthur Heymans (Code Review)]

Arthur Heymans has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/37241 )

Change subject: Documentation: Remove redundant 'documentation'
......................................................................

Patch Set 1:

(1 comment)

https://review.coreboot.org/c/coreboot/+/37241/1/Documentation/index.md 
File Documentation/index.md:

https://review.coreboot.org/c/coreboot/+/37241/1/Documentation/index.md@184 
PS1, Line 184: Libraries
Should maybe say 'Internal libraries'.