$(MAKE) -C $(DOCS_SRC_DIR)/ html
rm -rf $(DOCS_DEST_DIR)/*
test -d $(DOCS_DEST_DIR)/ || mkdir -p $(DOCS_DEST_DIR)/
- $(MAKE) -C $(DOCS_SRC_DIR) install DESTDIR=$(DOCS_DEST_DIR)/
+ $(MAKE) -C $(DOCS_SRC_DIR) install-html DESTDIR=$(DOCS_DEST_DIR)/
touch $@
.PHONY: library