Date: Sun, 29 Mar 2026 15:30:54 +0000 From: Don Lewis <truckman@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Cc: Olivier Duchateau <duchateau.olivier@gmail.com> Subject: git: 1236db071ef7 - main - devel/devhelp: deprecate Message-ID: <69c945ae.343de.6cb54647@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by truckman: URL: https://cgit.FreeBSD.org/ports/commit/?id=1236db071ef7efdf3a4c077183da2bd8a26246c8 commit 1236db071ef7efdf3a4c077183da2bd8a26246c8 Author: Olivier Duchateau <duchateau.olivier@gmail.com> AuthorDate: 2026-03-29 15:03:18 +0000 Commit: Don Lewis <truckman@FreeBSD.org> CommitDate: 2026-03-29 15:29:46 +0000 devel/devhelp: deprecate This port is unmaintained and archived, so mark this one as DEPRECATED. Bump PORTREVISION too. PR: 294104 --- devel/devhelp/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/devel/devhelp/Makefile b/devel/devhelp/Makefile index c3e22b677797..d988a6e48768 100644 --- a/devel/devhelp/Makefile +++ b/devel/devhelp/Makefile @@ -1,6 +1,6 @@ PORTNAME= devhelp PORTVERSION= 41.2 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= devel gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome @@ -12,6 +12,9 @@ MAINTAINER= gnome@FreeBSD.org COMMENT= Developer help browser for GNOME WWW= https://wiki.gnome.org/Apps/Devhelp +DEPRECATED= Discontinued, use devel/manuals +EXPIRATION_DATE= 2026-05-28 + LICENSE= GPLv3 LICENSE_FILE= ${WRKSRC}/LICENSES/GPL-3.0-or-later.txthome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69c945ae.343de.6cb54647>