diff options
Diffstat (limited to 'Master/tlp/esint.tlp')
-rw-r--r-- | Master/tlp/esint.tlp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/tlp/esint.tlp b/Master/tlp/esint.tlp new file mode 100644 index 00000000000..645e4e8ec77 --- /dev/null +++ b/Master/tlp/esint.tlp @@ -0,0 +1,14 @@ +name esint +execute addMap mixed esint.map +docfiles + texmf-dist/doc/latex/esint/esint.readme +srcfiles + texmf-dist/source/latex/esint/esint.dtx + texmf-dist/source/latex/esint/esint.ins +runfiles + texmf-dist/fonts/source/public/esint/bigint.mf + texmf-dist/fonts/source/public/esint/esint10.mf + texmf-dist/fonts/source/public/esint/mathint.mf + texmf-dist/fonts/tfm/public/esint/esint10.tfm + texmf-dist/tex/latex/esint/esint.sty + texmf-dist/tex/latex/esint/uesint.fd |