From 8e1ef0a11e90da1a05376b4c4984dc8ebfd31b70 Mon Sep 17 00:00:00 2001 From: Emanuel Haupt Date: Sun, 21 Jan 2024 13:21:18 +0100 Subject: [PATCH] misc/gnu-watch: Move manpages to share/man --- misc/gnu-watch/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/misc/gnu-watch/Makefile b/misc/gnu-watch/Makefile index 413c88a5f3576..3570403bbd712 100644 --- a/misc/gnu-watch/Makefile +++ b/misc/gnu-watch/Makefile @@ -1,6 +1,7 @@ PORTNAME= watch DISTVERSIONPREFIX= v DISTVERSION= 3.3.17 +PORTREVISION= 1 CATEGORIES= misc PKGNAMEPREFIX= gnu- @@ -22,7 +23,7 @@ GNU_CONFIGURE= yes ALL_TARGET= watch PLIST_FILES= bin/${PKGBASE} \ - man/man1/gnu-watch.1.gz + share/man/man1/gnu-watch.1.gz OPTIONS_DEFINE= NLS UNICODE OPTIONS_DEFAULT= UNICODE @@ -39,6 +40,6 @@ do-install: ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} \ ${STAGEDIR}${PREFIX}/bin/${PKGBASE} ${INSTALL_MAN} ${WRKSRC}/watch.1 \ - ${STAGEDIR}${MANPREFIX}/man/man1/${PKGBASE}.1 + ${STAGEDIR}${MANPREFIX}/share/man/man1/${PKGBASE}.1 .include