DTDs/PluginRepository-4.2.dtd

Sat, 19 Dec 2020 15:22:26 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 19 Dec 2020 15:22:26 +0100
changeset 7900
72b88fb20261
parent 0
de9c2efb9d02
permissions
-rw-r--r--

Corrected the use of '@keyparam' in the source documentation.

<!-- This is the DTD for eric4's plugin repository file version 4.2 -->

<!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)>
<!ATTLIST   Plugin
    status      CDATA   #REQUIRED>

<!ELEMENT   RepositoryUrl   (#PCDATA)>

<!ELEMENT   Plugins         (RepositoryUrl?,
                             Plugin*)>
<!ATTLIST   Plugins
    version     CDATA   #REQUIRED>

eric ide

mercurial