diff options
Diffstat (limited to 'lang/caml-light/pkg-plist')
| -rw-r--r-- | lang/caml-light/pkg-plist | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lang/caml-light/pkg-plist b/lang/caml-light/pkg-plist index 0755872dda7f..813423bade03 100644 --- a/lang/caml-light/pkg-plist +++ b/lang/caml-light/pkg-plist @@ -6,6 +6,7 @@ bin/camllibr bin/camllex bin/camlyacc bin/camldebug +bin/camlpro bin/mletags bin/camllorder bin/camlsearch @@ -190,8 +191,5 @@ lib/caml-light/stdlibp.zo share/emacs/site-lisp/camldebug.el share/emacs/site-lisp/inf-caml.el share/emacs/site-lisp/caml.el -share/emacs/site-lisp/caml.elc -share/emacs/site-lisp/inf-caml.elc -share/emacs/site-lisp/camldebug.elc share/emacs/site-lisp/caml-search.el @dirrm lib/caml-light |