diff options
Diffstat (limited to 'Master/texmf/lists/wasy')
-rw-r--r-- | Master/texmf/lists/wasy | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/Master/texmf/lists/wasy b/Master/texmf/lists/wasy new file mode 100644 index 00000000000..51aea576fca --- /dev/null +++ b/Master/texmf/lists/wasy @@ -0,0 +1,47 @@ +texmf-dist/doc/fonts/wasy/README +texmf-dist/doc/fonts/wasy/legal.txt +texmf-dist/doc/fonts/wasy/wasydoc.pdf +texmf-dist/doc/fonts/wasy/wasydoc.tex +texmf-dist/doc/fonts/wasy/wasyfont.2 +texmf-dist/fonts/afm/public/wasy/wasy10.afm +texmf-dist/fonts/afm/public/wasy/wasy5.afm +texmf-dist/fonts/afm/public/wasy/wasy6.afm +texmf-dist/fonts/afm/public/wasy/wasy7.afm +texmf-dist/fonts/afm/public/wasy/wasy8.afm +texmf-dist/fonts/afm/public/wasy/wasy9.afm +texmf-dist/fonts/afm/public/wasy/wasyb10.afm +texmf-dist/fonts/map/dvips/wasy/wasy.map +texmf-dist/fonts/source/public/wasy/lasychr.mf +texmf-dist/fonts/source/public/wasy/rsym.mf +texmf-dist/fonts/source/public/wasy/wasy10.mf +texmf-dist/fonts/source/public/wasy/wasy5.mf +texmf-dist/fonts/source/public/wasy/wasy6.mf +texmf-dist/fonts/source/public/wasy/wasy7.mf +texmf-dist/fonts/source/public/wasy/wasy8.mf +texmf-dist/fonts/source/public/wasy/wasy9.mf +texmf-dist/fonts/source/public/wasy/wasyb10.mf +texmf-dist/fonts/source/public/wasy/wasychr.mf +texmf-dist/fonts/tfm/public/wasy/wasy10.tfm +texmf-dist/fonts/tfm/public/wasy/wasy5.tfm +texmf-dist/fonts/tfm/public/wasy/wasy6.tfm +texmf-dist/fonts/tfm/public/wasy/wasy7.tfm +texmf-dist/fonts/tfm/public/wasy/wasy8.tfm +texmf-dist/fonts/tfm/public/wasy/wasy9.tfm +texmf-dist/fonts/tfm/public/wasy/wasyb10.tfm +texmf-dist/fonts/type1/public/wasy/wasy10.pfb +texmf-dist/fonts/type1/public/wasy/wasy10.pfm +texmf-dist/fonts/type1/public/wasy/wasy5.pfb +texmf-dist/fonts/type1/public/wasy/wasy5.pfm +texmf-dist/fonts/type1/public/wasy/wasy6.pfb +texmf-dist/fonts/type1/public/wasy/wasy6.pfm +texmf-dist/fonts/type1/public/wasy/wasy7.pfb +texmf-dist/fonts/type1/public/wasy/wasy7.pfm +texmf-dist/fonts/type1/public/wasy/wasy8.pfb +texmf-dist/fonts/type1/public/wasy/wasy8.pfm +texmf-dist/fonts/type1/public/wasy/wasy9.pfb +texmf-dist/fonts/type1/public/wasy/wasy9.pfm +texmf-dist/fonts/type1/public/wasy/wasyb10.pfb +texmf-dist/fonts/type1/public/wasy/wasyb10.pfm +texmf-dist/tex/plain/wasy/wasyfont.tex +texmf/lists/wasy +!addMixedMap wasy.map |