See README in the doc directory.