diff options
-rw-r--r-- | devel/readline/Makefile | 2 | ||||
-rw-r--r-- | devel/readline/pkg-plist | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/devel/readline/Makefile b/devel/readline/Makefile index abcbe9e51205..3c2655ef9a7f 100644 --- a/devel/readline/Makefile +++ b/devel/readline/Makefile @@ -1,5 +1,6 @@ PORTNAME= readline PORTVERSION= 8.2.${PATCHLEVEL} +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= GNU DISTNAME= readline-${PORTVERSION:R} @@ -16,6 +17,7 @@ LICENSE_FILE= ${WRKSRC}/COPYING USES= cpe GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX=${PREFIX}/share USE_LDCONFIG= yes INFO= history readline rluserman diff --git a/devel/readline/pkg-plist b/devel/readline/pkg-plist index fba2c5994f35..75a5579b3aed 100644 --- a/devel/readline/pkg-plist +++ b/devel/readline/pkg-plist @@ -16,8 +16,8 @@ lib/libreadline.so.8 lib/libreadline.so.%%PORTVERSION%% libdata/pkgconfig/history.pc libdata/pkgconfig/readline.pc -man/man3/history.3.gz -man/man3/readline.3.gz +share/man/man3/history.3.gz +share/man/man3/readline.3.gz %%DATADIR%%/excallback.c %%DATADIR%%/fileman.c %%DATADIR%%/histexamp.c |