diff options
Diffstat (limited to 'lang/ocaml/pkg-plist')
-rw-r--r-- | lang/ocaml/pkg-plist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/ocaml/pkg-plist b/lang/ocaml/pkg-plist index 18567abbd425..1fd6915de8c5 100644 --- a/lang/ocaml/pkg-plist +++ b/lang/ocaml/pkg-plist @@ -988,7 +988,7 @@ lib/ocaml/weak.mli %%TK%%@dirrm %%EXAMPLESDIR%%/examples_labltk %%TK%%@dirrm %%EXAMPLESDIR%%/examples_camltk/images %%TK%%@dirrm %%EXAMPLESDIR%%/examples_camltk -@dirrmtry %%EXAMPLESDIR%% +%%TK%%@dirrmtry %%EXAMPLESDIR%% @dirrm lib/ocaml/vmthreads %%THREADS%%@dirrm lib/ocaml/threads @dirrmtry lib/ocaml/stublibs |