- test -d $(DOCS_DEST_DIR)/ || mkdir -p $(DOCS_SRC_DIR)/
- cp $(DOCS_SRC_DIR)/*.html $(DOCS_DEST_DIR)/
+ 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)/