Note: you need to run "make" in this directory before you can certify top.cert.

See books/centaur/README.html for detailed instructions about building the Centaur books.
