diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile
index 26268ffb1615..9b5189465d7d 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	polyml
 PORTVERSION=	5.9.1
+PORTREVISION=	1
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
@@ -19,6 +20,7 @@ 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
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
@@ -7,6 +7,6 @@ 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