From bf5d13b3e200fcedcb83c3816fae2bcaf2b644cb Mon Sep 17 00:00:00 2001
From: Michael Smith <xmldoc@users.sourceforge.net>
Date: Fri, 14 Oct 2005 08:04:53 +0000
Subject: [PATCH] Added module and makefile for downloading dtd-flatten.jar

---
 contrib/tools/dtd-flatten/Makefile | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 contrib/tools/dtd-flatten/Makefile

diff --git a/contrib/tools/dtd-flatten/Makefile b/contrib/tools/dtd-flatten/Makefile
new file mode 100644
index 000000000..b9e8c7c0e
--- /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)
+
-- 
2.40.0