diff options
author | wiz <wiz> | 2015-05-08 11:27:28 +0000 |
---|---|---|
committer | wiz <wiz> | 2015-05-08 11:27:28 +0000 |
commit | 24440d0ce9e048a13ed76b91c061cf6efcac9645 (patch) | |
tree | 462d39a4ad4ebff75f1535a248d02f5ab0ed0140 /fonts/tex-prodint | |
parent | 710b9106fbaf6bb4bcbd7214b8bc16a89c3f6fc8 (diff) | |
download | pkgsrc-24440d0ce9e048a13ed76b91c061cf6efcac9645.tar.gz |
Add a couple more tex-* font packages. This completes
texlive-collection-fontsextra.
Diffstat (limited to 'fonts/tex-prodint')
-rw-r--r-- | fonts/tex-prodint/DESCR | 6 | ||||
-rw-r--r-- | fonts/tex-prodint/Makefile | 15 | ||||
-rw-r--r-- | fonts/tex-prodint/PLIST | 6 | ||||
-rw-r--r-- | fonts/tex-prodint/distinfo | 5 |
4 files changed, 32 insertions, 0 deletions
diff --git a/fonts/tex-prodint/DESCR b/fonts/tex-prodint/DESCR new file mode 100644 index 00000000000..34d91367af6 --- /dev/null +++ b/fonts/tex-prodint/DESCR @@ -0,0 +1,6 @@ +Product integrals are to products, as integrals are to sums. +They have been around for more than a hundred years, they have +not become part of the standard mathematician's toolbox, +possibly because no-one invented the right mathematical symbol +for them. The authors have remedied that situation by proposing +the symbol and providing this font. diff --git a/fonts/tex-prodint/Makefile b/fonts/tex-prodint/Makefile new file mode 100644 index 00000000000..af941b3ec6f --- /dev/null +++ b/fonts/tex-prodint/Makefile @@ -0,0 +1,15 @@ +# $NetBSD: Makefile,v 1.1 2015/05/08 11:27:53 wiz Exp $ + +DISTNAME= prodint +PKGNAME= tex-${DISTNAME}-2014 +TEXLIVE_REV= 21893 + +MAINTAINER= pkgsrc-users@NetBSD.org +HOMEPAGE= http://ctan.org/pkg/prodint +COMMENT= Font that provides the product integral symbol +LICENSE= ofl-v1.1 + +TEX_MAP_FILES+= prodint.map + +.include "../../print/texlive/package.mk" +.include "../../mk/bsd.pkg.mk" diff --git a/fonts/tex-prodint/PLIST b/fonts/tex-prodint/PLIST new file mode 100644 index 00000000000..63fef742ed0 --- /dev/null +++ b/fonts/tex-prodint/PLIST @@ -0,0 +1,6 @@ +@comment $NetBSD: PLIST,v 1.1 2015/05/08 11:27:53 wiz Exp $ +share/texmf-dist/fonts/afm/public/prodint/prodint.afm +share/texmf-dist/fonts/map/dvips/prodint/prodint.map +share/texmf-dist/fonts/tfm/public/prodint/prodint.tfm +share/texmf-dist/fonts/type1/public/prodint/prodint.pfb +share/texmf-dist/tex/latex/prodint/prodint.sty diff --git a/fonts/tex-prodint/distinfo b/fonts/tex-prodint/distinfo new file mode 100644 index 00000000000..e4114938633 --- /dev/null +++ b/fonts/tex-prodint/distinfo @@ -0,0 +1,5 @@ +$NetBSD: distinfo,v 1.1 2015/05/08 11:27:53 wiz Exp $ + +SHA1 (tex-prodint-21893/prodint.tar.xz) = a506bd90b8319b826583cadc001820624d7a2d0f +RMD160 (tex-prodint-21893/prodint.tar.xz) = a6f7af0806047cbcda43c51bf98c94da78ca25d2 +Size (tex-prodint-21893/prodint.tar.xz) = 3848 bytes |