# $NetBSD: Makefile,v 1.2 2019/12/06 20:19:03 markd Exp $ DISTNAME= bussproofs PKGNAME= tex-${DISTNAME}-1.1 TEXLIVE_REV= 27488 MAINTAINER= jaapb@NetBSD.org COMMENT= Proof trees in the style of the sequent calculus LICENSE= lppl-1.3c TEXLIVE_UNVERSIONED= yes .include "../../print/texlive/package.mk" .include "../../mk/bsd.pkg.mk"