Merge pull request #3839 from cdr/add-docs-manifest

chore: add docs manifest

Parents: 7b8cd25 , be0e5de

Committed by GitHub <noreply@github.com> on 7/26/2021, 1:51:54 PM