diff options
Diffstat (limited to 'Master/texmf/lists/doublestroke')
-rw-r--r-- | Master/texmf/lists/doublestroke | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/Master/texmf/lists/doublestroke b/Master/texmf/lists/doublestroke new file mode 100644 index 00000000000..53ff8520f83 --- /dev/null +++ b/Master/texmf/lists/doublestroke @@ -0,0 +1,31 @@ +texmf-dist/doc/fonts/doublestroke/dsdoc.dvi +texmf-dist/doc/fonts/doublestroke/dsdoc.tex +texmf-dist/doc/fonts/doublestroke/readme + +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 +texmf-dist/tpm/doublestroke.tpm + +texmf/lists/doublestroke |