2832036fe9
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
11 lines
279 B
Makefile
11 lines
279 B
Makefile
# $NetBSD: Makefile,v 1.1 2015/04/21 22:17:23 markd Exp $
|
|
|
|
DISTNAME= lkproof.doc
|
|
PKGNAME= tex-${DISTNAME:S/./-/}-3.1
|
|
TEXLIVE_REV= 20021
|
|
|
|
MAINTAINER= markd@NetBSD.org
|
|
COMMENT= Documentation for tex-lkproof
|
|
|
|
.include "../../print/texlive/package.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|