chore(docs): document how to configure dynamic builds#11

jeswr wants to merge 2 commits into

digama0:maindigama0/lean-sys:mainfrom

jeswr:chore/docsjeswr/lean-sys:chore/docsCopy head branch name to clipboard