See doc/compiling.html.