0b45f63e61
2000-02-27 Martin Baulig <martin@home-of-linux.org> * dtd/libgtop-backends.dtd: Added XML DTD for the `*.backend' files.
12 lines
293 B
DTD
12 lines
293 B
DTD
<!ELEMENT Backends (Backend)+>
|
|
|
|
<!ELEMENT Backend (Name,Location)>
|
|
<!ELEMENT Name (#PCDATA)>
|
|
|
|
<!ELEMENT Location (LibtoolName?,ShlibName,ExtraLibs?)>
|
|
<!ELEMENT LibtoolName (#PCDATA)>
|
|
<!ELEMENT ShlibName (#PCDATA)>
|
|
|
|
<!ELEMENT ExtraLibs (ExtraLib)+>
|
|
<!ELEMENT ExtraLib (LibtoolName?,ShlibName)>
|