Missing build_docs.sh

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.

Please run scripts/build_docs.sh -b to fetch a copy and build the site or run scripts/build_docs.sh to serve the site locally.

However 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
$

Hi, the doc you’re looking for is here: https://github.com/libra/website/blob/master/scripts/build_docs.sh