https://developers.libra.org/docs/crates/execution shows how to build documentations for the execution topic:
The contents of this file are copied from
libra/libra. Make your edits there.
scripts/build_docs.sh -bto fetch a copy and build the site or run
scripts/build_docs.shto serve the site locally.
build_docs.sh seems to be missing from the repo. What I have tried:
~/src [06:01:56] 0 $ ls libra ~/src [06:02:17] 0 $ find libra -name "build_docs.sh" ~/src [06:02:20] 0 $