id | title | custom_edit_url |
---|---|---|
move-book |
Move Book |
In order to update the Move book and preview changes to it you'll need to install
mdbook
. You can do this via
cargo install mdbook
.
After installing mdbook, you can preview changes via either mdbook serve
, or if you want the
output to change as you make changes to the book you can use mdbook watch
. More information on
options can be found at the mdbook website.
Once you are happy with your changes to the Move book, you can create a PR to update the Move book website. This is the process that has been used in the past and is known to work, but there may be a better way:
-
Run
mdbook build
in this directory. This will create a directory calledbook
. Copy this to some locationL
outside of the Move git tree. -
Make sure your upstream is up-to-date and checkout to
upstream/gh-pages
. -
Once you have checked out to
upstream/gh-pages
, make sure you are at the root of the repo. You should see a number of.html
files. You can now move all contents inL
to this location:mv L/* .
-
Once this is done inspect things to make sure the book looks the way you want. If everything looks good submit a PR to the
gh-pages
branch of the main Move repo.
After this the normal PR process is followed. Once the PR has been accepted and lands the updated Move book should be visible immediately.
NB: When adding a new (sub)section to the book you must include the new file in the
SUMMARY.md
file otherwise it will not appear in the updated book.