diff options
Diffstat (limited to 'devel')
-rw-r--r-- | devel/ocaml-sem/Makefile | 2 | ||||
-rw-r--r-- | devel/ocaml-sem/pkg-plist | 1 |
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 |