Remove (Dead, unused).

diff --git a/tools/rpmHeader.dtd b/tools/rpmHeader.dtd
deleted file mode 100644 (file)
index a214a36..0000000
--- a/tools/rpmHeader.dtd
+++ /dev/null
@@ -1,9 +0,0 @@
-<!DOCTYPE rpmHeader [
-<!ELEMENT rpmHeader (rpmTag+)>
-<!ELEMENT rpmTag       (string+|integer+|base64+)>
-<!ATTLIST rpmTag name  CDATA #REQUIRED
->
-<!ELEMENT string       (#PCDATA)>
-<!ELEMENT integer      (#PCDATA)>
-<!ELEMENT base64       (#PCDATA)>
-]>