fix install_docs dependencies, and add a missing $(INSTALL_DIR)