Use docs builder in ORM repo#12216

greg0ire merged 2 commits intodoctrine:2.20.xdoctrine/orm:2.20.xfrom

paulinevos:docs-builderpaulinevos/doctrine-orm:docs-builderCopy head branch name to clipboard