diff options
Diffstat (limited to 'Master/tlp/doublestroke.tlp')
-rw-r--r-- | Master/tlp/doublestroke.tlp | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/Master/tlp/doublestroke.tlp b/Master/tlp/doublestroke.tlp new file mode 100644 index 00000000000..b07ed7c2426 --- /dev/null +++ b/Master/tlp/doublestroke.tlp @@ -0,0 +1,32 @@ +name doublestroke +execute addMap dstroke.map +docfiles + texmf-dist/doc/fonts/doublestroke/README + texmf-dist/doc/fonts/doublestroke/dsdoc.pdf + texmf-dist/doc/fonts/doublestroke/dsdoc.tex +runfiles + texmf-dist/fonts/map/dvips/doublestroke/dstroke.map + texmf-dist/fonts/source/public/doublestroke/dsrom.mf + texmf-dist/fonts/source/public/doublestroke/dsrom10.mf + texmf-dist/fonts/source/public/doublestroke/dsrom12.mf + texmf-dist/fonts/source/public/doublestroke/dsrom8.mf + texmf-dist/fonts/source/public/doublestroke/dsromo.mf + texmf-dist/fonts/source/public/doublestroke/dsromu.mf + texmf-dist/fonts/source/public/doublestroke/dsss10.mf + texmf-dist/fonts/source/public/doublestroke/dsss12.mf + texmf-dist/fonts/source/public/doublestroke/dsss8.mf + texmf-dist/fonts/tfm/public/doublestroke/dsrom10.tfm + texmf-dist/fonts/tfm/public/doublestroke/dsrom12.tfm + texmf-dist/fonts/tfm/public/doublestroke/dsrom8.tfm + texmf-dist/fonts/tfm/public/doublestroke/dsss10.tfm + texmf-dist/fonts/tfm/public/doublestroke/dsss12.tfm + texmf-dist/fonts/tfm/public/doublestroke/dsss8.tfm + texmf-dist/fonts/type1/public/doublestroke/dsrom10.pfb + texmf-dist/fonts/type1/public/doublestroke/dsrom12.pfb + texmf-dist/fonts/type1/public/doublestroke/dsrom8.pfb + texmf-dist/fonts/type1/public/doublestroke/dsss10.pfb + texmf-dist/fonts/type1/public/doublestroke/dsss12.pfb + texmf-dist/fonts/type1/public/doublestroke/dsss8.pfb + texmf-dist/tex/latex/doublestroke/Udsrom.fd + texmf-dist/tex/latex/doublestroke/Udsss.fd + texmf-dist/tex/latex/doublestroke/dsfont.sty |