INSTALL: Update instructions for building the manual.