[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
> We're not collecting documentation for external libraries, so that would be redundant, too?

I meant it as a distinction between internal API's and things that coreboot exports?