Give more detail on creating customized versions#446

jfehrle wants to merge 1 commit into

rocq-prover:mainrocq-prover/platform:mainfrom

jfehrle:doc_updatejfehrle/platform:doc_updateCopy head branch name to clipboard