Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] python3-mypy: add man page
@ 2020-10-17 10:14 PaperMountainStudio
  2020-10-20 18:20 ` [PR PATCH] [Closed]: " ahesford
  0 siblings, 1 reply; 2+ messages in thread
From: PaperMountainStudio @ 2020-10-17 10:14 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 364 bytes --]

There is a new pull request by PaperMountainStudio against master on the void-packages repository

https://github.com/PaperMountainStudio/void-packages 0001-python3-mypy-add-man-page.patch
https://github.com/void-linux/void-packages/pull/25685

python3-mypy: add man page


A patch file from https://github.com/void-linux/void-packages/pull/25685.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-0001-python3-mypy-add-man-page.patch-25685.patch --]
[-- Type: text/x-diff, Size: 1143 bytes --]

From bb2af3dd851e404c80cd1bc0031e4b1ceede9306 Mon Sep 17 00:00:00 2001
From: Paper <paper@tilde.institute>
Date: Sat, 17 Oct 2020 12:12:21 +0200
Subject: [PATCH] python3-mypy: add man page

---
 srcpkgs/python3-mypy/template | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/python3-mypy/template b/srcpkgs/python3-mypy/template
index 86611f04690..5b4117837b0 100644
--- a/srcpkgs/python3-mypy/template
+++ b/srcpkgs/python3-mypy/template
@@ -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
 }

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [PR PATCH] [Closed]: python3-mypy: add man page
  2020-10-17 10:14 [PR PATCH] python3-mypy: add man page PaperMountainStudio
@ 2020-10-20 18:20 ` ahesford
  0 siblings, 0 replies; 2+ messages in thread
From: ahesford @ 2020-10-20 18:20 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 160 bytes --]

There's a closed pull request on the void-packages repository

python3-mypy: add man page
https://github.com/void-linux/void-packages/pull/25685

Description:


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-10-20 18:20 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-10-17 10:14 [PR PATCH] python3-mypy: add man page PaperMountainStudio
2020-10-20 18:20 ` [PR PATCH] [Closed]: " ahesford

Github messages for voidlinux

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://inbox.vuxu.org/voidlinux-github

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 voidlinux-github voidlinux-github/ http://inbox.vuxu.org/voidlinux-github \
		voidlinux-github@inbox.vuxu.org
	public-inbox-index voidlinux-github

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.github.voidlinux


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git