--- a/DTDs/PluginRepository-4.1.dtd	Mon May 24 11:19:57 2021 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-<!-- This is the DTD for eric4's plugin repository file version 4.1 -->
-
-<!ELEMENT   Name            (#PCDATA)>
-
-<!ELEMENT   Short           (#PCDATA)>
-
-<!ELEMENT   Description     (#PCDATA)>
-
-<!ELEMENT   Url             (#PCDATA)>
-
-<!ELEMENT   Author          (#PCDATA)>
-
-<!ELEMENT   Version         (#PCDATA)>
-
-<!ELEMENT   Filename        (#PCDATA)>
-
-<!ELEMENT   Plugin          (Name,
-                             Short,
-                             Description,
-                             Url,
-                             Author,
-                             Version,
-                             Filename)>
-
-<!ELEMENT   Plugins         (Plugin*)>
-<!ATTLIST   Plugins
-    version     CDATA   #REQUIRED>