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