summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/doublestroke
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/lists/doublestroke')
-rw-r--r--Master/texmf/lists/doublestroke31
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