diff options
Diffstat (limited to 'Master/tlp/xmlplay.tlp')
-rw-r--r-- | Master/tlp/xmlplay.tlp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/tlp/xmlplay.tlp b/Master/tlp/xmlplay.tlp new file mode 100644 index 00000000000..7d156ac5a83 --- /dev/null +++ b/Master/tlp/xmlplay.tlp @@ -0,0 +1,7 @@ +name xmlplay +docfiles + texmf-dist/doc/xmltex/xmlplay/readme +srcfiles + texmf-dist/source/xmltex/xmlplay/play.dtd +runfiles + texmf-dist/tex/xmltex/xmlplay/play.xmt |