Added module and makefile for downloading dtd-flatten.jar

diff --git a/contrib/tools/dtd-flatten/Makefile b/contrib/tools/dtd-flatten/Makefile
new file mode 100644 (file)
index 0000000..b9e8c7c
--- /dev/null
+++ b/contrib/tools/dtd-flatten/Makefile
@@ -0,0 +1,16 @@
+# $Id$
+
+DOWNLOAD_URL ?= http://woodstox.codehaus.org/tools
+DOWNLOAD_FILENAME ?= dtd-flatten.jar
+
+WGET ?= wget
+WGET_OPTS ?=
+
+all: $(DOWNLOAD_FILENAME)
+
+$(DOWNLOAD_FILENAME):
+       $(WGET) $(DOWNLOAD_URL)/$@
+
+clean:
+       $(RM) $(DOWNLOAD_FILENAME)
+