update instructions of how to run gitbook
-
# Running GitBook
1. Follow the instructions at [https://toolchain.gitbook.com/](https://toolchain.gitbook.com/) to
install gitbook.
-2. cd into the `docs/book` directory
-3. Run `gitbook serve`
-4. Visit `localhost:4000`
+1. cd into the `docs/book` directory
+1. Run `gitbook install`
+1. Run `gitbook build`
+1. Run `gitbook serve`
+1. Visit `localhost:4000`
