Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Contribute to this site

This documentation site is built using mdBook and deployed to GitHub Pages. Changes merged into the main branch will automatically be built and deployed.

Documentation can be edited directly in the GitHub web UI for existing pages. To create a new page, be sure to update SUMMARY.md as well. Once you’re done with your changes, open a pull request for review.

To understand more about how mdBook works, learn about the anatomy of a book. One caveat for this repo is that the docs live at the root of the repo instead of in a src/ folder.

Developing locally

To build the site locally, clone this repository and install mdbook (follow the official installation instructions)1.

Once installed, use the mdbook command-line tool from the root of this repo. For example, to automatically start watching, building, and serving the site:

mdbook serve

Then make your changes, preview them in your web browser (at http://localhost:3000 by default), commit, push, and open a pull request like any other git project.

  1. Alternatively, download the binary from the GitHub releases, unpack it, and drop it into bin/ in this repo (which is .gitignored). Then prefix your mdbook commands with the path, e.g. bin/mdbook serve. ↩