This book is generated using [gitbook](https://github.com/GitbookIO/gitbook).

## How to build the PDF?

When gitbook is installed, `gitbook pdf` will generate the PDF of the book.