INSTALL: Give the documentation output directory.