1<?xml encoding="UTF-8"?> 2<!-- ********************************************************************* 3** options.dtd ** 4** ** 5** This file is part of dvisvgm - the DVI to SVG converter ** 6** Copyright (C) 2005-2015 Martin Gieseking <martin.gieseking@uos.de> ** 7** ** 8** This program is free software; you can redistribute it and/or ** 9** modify it under the terms of the GNU General Public License as ** 10** published by the Free Software Foundation; either version 3 of ** 11** the License, or (at your option) any later version. ** 12** ** 13** This program is distributed in the hope that it will be useful, but ** 14** WITHOUT ANY WARRANTY; without even the implied warranty of ** 15** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ** 16** GNU General Public License for more details. ** 17** ** 18** You should have received a copy of the GNU General Public License ** 19** along with this program; if not, see <http://www.gnu.org/licenses/>. ** 20***********************************************************************--> 21 22<!ELEMENT cmdline (program,options)> 23<!ATTLIST cmdline 24 class NMTOKEN #REQUIRED> 25 26<!ELEMENT program (name,usage+,description)> 27 28<!ELEMENT options (section)+> 29 30<!ELEMENT name (#PCDATA)> 31 32<!ELEMENT usage (#PCDATA)> 33 34<!ELEMENT section (option)+> 35<!ATTLIST section 36 title CDATA #REQUIRED> 37 38<!ELEMENT option (arg?,description)> 39<!ATTLIST option 40 long ID #REQUIRED 41 short NMTOKEN #IMPLIED 42 if CDATA #IMPLIED> 43 44<!ELEMENT arg EMPTY> 45<!ATTLIST arg 46 default NMTOKEN #IMPLIED 47 name CDATA #REQUIRED 48 optional (yes|no) #IMPLIED 49 type NMTOKEN #REQUIRED> 50 51<!ELEMENT description (#PCDATA)> 52