diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd')
-rwxr-xr-x | Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd b/Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd new file mode 100755 index 00000000000..483e38f8b79 --- /dev/null +++ b/Master/texmf-dist/tex4ht/xtpipes/xtpipes-map.dtd @@ -0,0 +1,30 @@ +<!-- xtpipes-map.dtd (2008-01-26-00:38) --> +<!ELEMENT xtpipes-map (when | processing-instruction + | select + | command-line)* > +<!ELEMENT when (when | select + | processing-instruction + | command-line )* > +<!ELEMENT select EMPTY > +<!ELEMENT processing-instruction EMPTY > +<!ELEMENT command-line EMPTY > +<!ATTLIST xtpipes-map + signature CDATA #IMPLIED +> +<!ATTLIST when + name ( + system-id + | public-id + | dtd-root + | root + | ext + | meta-type + | content-type + | prefix ) "public-id" + value CDATA #IMPLIED + case-sensitive (yes|no) "no" +> +<!ATTLIST select + name CDATA #REQUIRED +> + |