From nobody Wed Mar 06 13:03:59 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TqXgh0rSXz5CYXy; Wed, 6 Mar 2024 13:04:00 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TqXgg3NHBz4L2q; Wed, 6 Mar 2024 13:03:59 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1709730239; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=PY8NSOuKI9pMHEpgPjZNQQJt6O4bYHuADJgdTjjwDtY=; b=JptVZTD17PdRtoL4XtbDishCrtYPS7Ubqq+xV5dwL+wEU7MF3MO+SvbZ6+P2dRNaAsRrrW yYB1zHVfag6fRkMfICtjOoufCcOhDlNQ22ETJSTkJ9iUKs9vDPOcvFJpfTmyM444E441SV 0a40wbGp7kFvRdwjnfKNnOj5c18w8ctkUnGWzDbw6ul7Ycz2WHzVO6bhLIHPydp+WISK7D MFzaySzIirgwG8TaZSVJ3bXhMfYbTMJb+bnQh+XwElHV58RO7MZNKkf4iEVa8+f2L+5VpN cIkpblldxrNQqZaMntEWyzwv0qBCEXPsmY7FdK0EAYovNw7JyF85RMFYuKmbDQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1709730239; a=rsa-sha256; cv=none; b=tGHdjkeaiT/Wj8wrgIhjCPjzHXANNa5LrUreySMOlUK/abHQeifqQg5xfzR818xdY29Hv8 Gc9DzPTD65p9L0A5T6iw6+2WV32+dbGvqLZina/0Gp7E6VstRwcNXV5NLrDsVI4Tna86QX i/GJsz22BykFG6th1Q4qyBM3gYHFGcv8e728KV528eWUYS/n2VIzefOj8mVmvSTseJstjx PFINVESSMe8sFydmnLEk4bikChX0nd4HCQAteHMb4yyEwNpZXMwChuTTkNsYD3DGfVHnd8 htYqf4fofF7aIS6sWq4HPXoM7RTniToBGwM5pXsxXDUEEeHREQPL5JmQBv5T7g== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1709730239; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=PY8NSOuKI9pMHEpgPjZNQQJt6O4bYHuADJgdTjjwDtY=; b=jodhBidsYmvPsNJoTqDo7EpBY5u4TiLiBV4gTq1+Zr6GLGZkSOSpW7WsBczjnQ9kQN7L4G cZv64Gbi7dFyDO4yNyctWt3w1XbiAMLBJAnzNvLbLdfDxbFmO/3+oGxYHxnmf4bMbzCZHu 0vcqJivJBRspOEZRXKH3iWW7VxvcOgnuOVe5kHTIMvy6skmI2MKNgWxSC/SHJBuf4c8m0F 9jePPcZW9Mi0651xh+xmV6XeRZd5lgMr3diJ4J1BePmc/F96kjRjDKZUQftYGQnYj8k/zh txlHuWzpWuOObpWeuZqkLKbZiBFtEnn+xFWNFrCyjQ8TxBk0kAPFM1tW9WeW6g== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4TqXgg30d5zrCD; Wed, 6 Mar 2024 13:03:59 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 426D3x6C087986; Wed, 6 Mar 2024 13:03:59 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 426D3xXi087983; Wed, 6 Mar 2024 13:03:59 GMT (envelope-from git) Date: Wed, 6 Mar 2024 13:03:59 GMT Message-Id: <202403061303.426D3xXi087983@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Nuno Teixeira Subject: git: e23e46cd745a - main - devel/splint: Move man pages to share/man List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: eduardo X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: e23e46cd745aa592d4a57c8da121b1b67e2cef2c Auto-Submitted: auto-generated The branch main has been updated by eduardo: URL: https://cgit.FreeBSD.org/ports/commit/?id=e23e46cd745aa592d4a57c8da121b1b67e2cef2c commit e23e46cd745aa592d4a57c8da121b1b67e2cef2c Author: Nuno Teixeira AuthorDate: 2024-03-06 12:39:24 +0000 Commit: Nuno Teixeira CommitDate: 2024-03-06 13:03:25 +0000 devel/splint: Move man pages to share/man Approved by: portmgr (blanket) --- devel/splint/Makefile | 2 ++ devel/splint/pkg-plist | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/devel/splint/Makefile b/devel/splint/Makefile index 49df11d5a206..f443eb390741 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -1,5 +1,6 @@ PORTNAME= splint PORTVERSION= 3.1.2 +PORTREVISION= 1 CATEGORIES= devel security MASTER_SITES= http://www.splint.org/downloads/ EXTRACT_SUFX= .src.tgz @@ -12,6 +13,7 @@ LICENSE= GPLv2+ USES= gmake GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share CONFIGURE_ENV= BISON=no MAKE_JOBS_UNSAFE= yes diff --git a/devel/splint/pkg-plist b/devel/splint/pkg-plist index baf6b5d3be8f..d2f7ea100f38 100644 --- a/devel/splint/pkg-plist +++ b/devel/splint/pkg-plist @@ -1,5 +1,5 @@ bin/splint -man/man1/splint.1.gz +share/man/man1/splint.1.gz %%DATADIR%%/imports/assert.lcl %%DATADIR%%/imports/assert.lcs %%DATADIR%%/imports/ctype.lcl