Take maintainership.
PR: ports/81869
This commit is contained in:
parent
1d4004bec3
commit
9e5dead7fd
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=136796
@ -15,7 +15,7 @@ PKGNAMESUFFIX= -doc
|
|||||||
DISTFILES= ${DISTNAME}-refman.html.tar.gz ${DISTNAME}-refman.ps.gz
|
DISTFILES= ${DISTNAME}-refman.html.tar.gz ${DISTNAME}-refman.ps.gz
|
||||||
EXTRACT_ONLY= ${DISTNAME}-refman.html.tar.gz
|
EXTRACT_ONLY= ${DISTNAME}-refman.html.tar.gz
|
||||||
|
|
||||||
MAINTAINER= ports@FreeBSD.org
|
MAINTAINER= marwan.burelle@lri.fr
|
||||||
COMMENT= Documentation (HTML, PS) for the Objective Caml
|
COMMENT= Documentation (HTML, PS) for the Objective Caml
|
||||||
|
|
||||||
NO_BUILD= yes
|
NO_BUILD= yes
|
||||||
|
Loading…
Reference in New Issue
Block a user