4 files changed, 27 insertions, 0 deletions
diff --git a/print/tex-circle/DESCR b/print/tex-circle/DESCR
new file mode 100644
index 00000000000..88e65e5ff81
--- /dev/null
+++ b/print/tex-circle/DESCR
@@ -0,0 +1,7 @@
+This package provides circles in math mode that can be used for the
+nextstep operator of temporal logic, in conjunction with \Box and
+\Diamond (latexsym) or \square and \lozenge (amssymb).  LaTeX circles
+\circ and \bigcirc are not of the right size.  The circles are taken
+from the font lcircle10.  The package contains some hacks to
+approximate the right size and this solution is definitely not
+sufficient to give a high quality output.
diff --git a/print/tex-circle/Makefile b/print/tex-circle/Makefile
new file mode 100644
index 00000000000..31cea743936
--- /dev/null
+++ b/print/tex-circle/Makefile
@@ -0,0 +1,13 @@
+# $NetBSD: Makefile,v 1.1.1.1 2010/04/21 05:37:58 minskim Exp $
+# TeX Live Revision 17158
+
+DISTNAME=	circle
+PKGNAME=	tex-${DISTNAME}-2009
+
+MAINTAINER=	minskim@NetBSD.org
+COMMENT=	Maths mode circles for temporal logic
+
+CONFLICTS+=	tex-ltxmisc<2009
+
+.include "../../print/texlive/package.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/print/tex-circle/PLIST b/print/tex-circle/PLIST
new file mode 100644
index 00000000000..f39758f3f72
--- /dev/null
+++ b/print/tex-circle/PLIST
@@ -0,0 +1,2 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2010/04/21 05:37:58 minskim Exp $
+share/texmf-dist/tex/latex/circle/circle.sty
diff --git a/print/tex-circle/distinfo b/print/tex-circle/distinfo
new file mode 100644
index 00000000000..eb8a99d0534
--- /dev/null
+++ b/print/tex-circle/distinfo
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1.1.1 2010/04/21 05:37:58 minskim Exp $
+
+SHA1 (tex-circle-2009/circle.tar.xz) = 19ab7b58fc19dfc00bd58caf03cd433bfbe404ba
+RMD160 (tex-circle-2009/circle.tar.xz) = 7933f7067a90cc78a6f67790eb121e9f417390f2
+Size (tex-circle-2009/circle.tar.xz) = 1384 bytes