am 1ecfdf33: Merge "docs: Add an explicit dependency on libcore/Docs.mk"

* commit '1ecfdf33ee593c0e80cee5e11f4c0a0fd0071233':
  docs: Add an explicit dependency on libcore/Docs.mk