diff options
Diffstat (limited to 'docs/xslt/unicode.mapping.dtd')
| -rw-r--r-- | docs/xslt/unicode.mapping.dtd | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/docs/xslt/unicode.mapping.dtd b/docs/xslt/unicode.mapping.dtd deleted file mode 100644 index d2b6b3db3a..0000000000 --- a/docs/xslt/unicode.mapping.dtd +++ /dev/null @@ -1,16 +0,0 @@ -<?xml version="1.0" encoding="utf-8"?> -<!-- $Id: unicode.mapping.dtd,v 1.1 2003/12/05 06:53:48 ab Exp $ --> -<!-- DTD for XML with mapping Unicode entities to LaTeX commands --> -<!-- Author: Vitaly Ostanin <vyt@altlinux.ru> --> - -<!ELEMENT mapping (character+)> - -<!ELEMENT character (unicode, latex?, mathlatex?, preferred)> - -<!ELEMENT unicode (#PCDATA)> - -<!ELEMENT latex (#PCDATA)> - -<!ELEMENT mathlatex (#PCDATA)> - -<!ELEMENT preferred (#PCDATA)> |