add doc target to INSTALL