aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel/ocaml-sem/Makefile2
-rw-r--r--devel/ocaml-sem/pkg-plist1
2 files changed, 2 insertions, 1 deletions
diff --git a/devel/ocaml-sem/Makefile b/devel/ocaml-sem/Makefile
index 45b9edc4f90e..a7f06ebbad6b 100644
--- a/devel/ocaml-sem/Makefile
+++ b/devel/ocaml-sem/Makefile
@@ -3,7 +3,7 @@
PORTNAME= sem
PORTVERSION= 0.0.2
-PORTREVISION= 2
+PORTREVISION= 3
CATEGORIES= devel
MASTER_SITES= http://ocaml-sem.sourceforge.net/files/ \
SF/ocaml-${PORTNAME}/${PORTNAME}/${PORTVERSION}
diff --git a/devel/ocaml-sem/pkg-plist b/devel/ocaml-sem/pkg-plist
index 0af7efb3311a..1efb687af732 100644
--- a/devel/ocaml-sem/pkg-plist
+++ b/devel/ocaml-sem/pkg-plist
@@ -13,6 +13,7 @@
%%PORTDOCS%%%%DOCSDIR%%/html/index_class_types.html
%%PORTDOCS%%%%DOCSDIR%%/html/index_classes.html
%%PORTDOCS%%%%DOCSDIR%%/html/index_exceptions.html
+%%PORTDOCS%%%%DOCSDIR%%/html/index_extensions.html
%%PORTDOCS%%%%DOCSDIR%%/html/index_methods.html
%%PORTDOCS%%%%DOCSDIR%%/html/index_module_types.html
%%PORTDOCS%%%%DOCSDIR%%/html/index_modules.html