diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile
index 26268ffb1615..9b5189465d7d 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -1,42 +1,44 @@
 PORTNAME=	polyml
 PORTVERSION=	5.9.1
+PORTREVISION=	1
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
 
 MAINTAINER=	beyert@cs.ucr.edu
 COMMENT=	Fast open-source implementation of Standard ML
 WWW=		https://www.polyml.org
 
 LICENSE=	LGPL21
 
 ONLY_FOR_ARCHS=	aarch64 amd64 i386
 
 LIB_DEPENDS=	libffi.so:devel/libffi
 
 USES=		libtool localbase pathfix pkgconfig
 USE_GITHUB=	yes
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
 CONFIGURE_ARGS=	--with-system-libffi --enable-shared
 
 INSTALL_TARGET=	install-strip
 
 OPTIONS_DEFINE=	MOTIF GMP INTINF_AS_INT
 OPTIONS_DEFAULT=GMP INTINF_AS_INT
 
 INTINF_AS_INT_DESC=	Use IntInf.int as int type
 
 GMP_LIB_DEPENDS=	libgmp.so:math/gmp
 GMP_CONFIGURE_WITH=	gmp
 INTINF_AS_INT_CONFIGURE_ENABLE=	intinf-as-int
 MOTIF_USES=		motif xorg
 MOTIF_USE=		xorg=x11,xext,xt
 MOTIF_CONFIGURE_WITH=	x
 
 post-patch:
 	@${REINPLACE_CMD} -e 's|-lstdc++ ||' ${WRKSRC}/configure
 	@${REINPLACE_CMD} -e 's| modules||' ${WRKSRC}/Makefile.in
 
 .include <bsd.port.mk>
diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist
index ecef77b90b9f..744ab17237c0 100644
--- a/lang/polyml/pkg-plist
+++ b/lang/polyml/pkg-plist
@@ -1,12 +1,12 @@
 bin/poly
 bin/polyc
 bin/polyimport
 lib/libpolymain.a
 lib/libpolyml.a
 lib/libpolyml.so
 lib/libpolyml.so.14
 lib/libpolyml.so.14.0.0
 libdata/pkgconfig/polyml.pc
-man/man1/poly.1.gz
-man/man1/polyc.1.gz
-man/man1/polyimport.1.gz
+share/man/man1/poly.1.gz
+share/man/man1/polyc.1.gz
+share/man/man1/polyimport.1.gz