diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/menhir/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index f9bfc46a938e..f073fa1b69b5 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -19,6 +19,8 @@ USE_OCAML= yes DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME} MAKE_ENV+= DOCSDIR="${DOCSDIR}" OCAML_SITELIBDIR="${PREFIX}/${OCAML_SITELIBDIR}" +MAN1= menhir.1 + .include <bsd.port.pre.mk> .include "${PORTSDIR}/lang/ocaml/bsd.ocaml.mk" .include <bsd.port.post.mk> |