clean:
manual: manual-stamp
-manual-stamp: $(DOCS_SRC_DIR)/*.xml $(DOCS_SRC_DIR)/*.xsl
+manual-stamp: $(DOCS_SRC_DIR)/*.xml $(DOCS_SRC_DIR)/xsl/*
$(MAKE) -C $(DOCS_SRC_DIR)/ html
rm -rf $(DOCS_DEST_DIR)/*
test -d $(DOCS_DEST_DIR)/ || mkdir -p $(DOCS_DEST_DIR)/