Import from v. 2.0.2 downloaded from http://getfo.org/texml/
[texml.git] / dtd /
drwxr-xr-x   ..
-rw-r--r-- 1340 texml.dtd