Finishing the INSTALL document.