doc: Add missing step to include Rocq repo when building from source#1236

TDiazT wants to merge 1 commit intoMetaRocq:9.1MetaRocq/metarocq:9.1from

TDiazT:install-doc-fixTDiazT/metarocq:install-doc-fixCopy head branch name to clipboard