python3-mypy: add man page

Closes: #25685 [via git-merge-pr]
This commit is contained in:
Paper 2020-10-17 12:12:21 +02:00 committed by Andrew J. Hesford
parent bcc88b2335
commit 2c9785206a

View file

@ -1,10 +1,10 @@
# Template file for 'python3-mypy'
pkgname=python3-mypy
version=0.790
revision=1
revision=2
wrksrc="mypy-${version}"
build_style=python3-module
hostmakedepends="python3-setuptools"
hostmakedepends="python3-setuptools python3-Sphinx"
depends="python3-mypy_extensions python3-typed-ast python3-typing_extensions"
short_desc="Optional static typing for Python3"
maintainer="Orphaned <orphan@voidlinux.org>"
@ -14,5 +14,7 @@ distfiles="${PYPI_SITE}/m/mypy/mypy-${version}.tar.gz"
checksum=2b21ba45ad9ef2e2eb88ce4aeadd0112d0f5026418324176fd494a6824b74975
post_install() {
make -C docs man
vman docs/build/man/mypy.1
vlicense LICENSE
}