See docs/installation.html.
