The real INSTALL file is in the doc/ directory.