diff options
Diffstat (limited to 'lang/ocaml')
| -rw-r--r-- | lang/ocaml/pkg-plist | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/lang/ocaml/pkg-plist b/lang/ocaml/pkg-plist index 9c94c55b2a15..c9b6e0874dbd 100644 --- a/lang/ocaml/pkg-plist +++ b/lang/ocaml/pkg-plist @@ -218,15 +218,6 @@ lib/ocaml/weak.cmi lib/ocaml/weak.cmx lib/ocaml/weak.ml lib/ocaml/weak.mli -man/man1/ocaml.1.gz -man/man1/ocamlc.1.gz -man/man1/ocamlcp.1.gz -man/man1/ocamldep.1.gz -man/man1/ocamllex.1.gz -man/man1/ocamlopt.1.gz -man/man1/ocamlprof.1.gz -man/man1/ocamlrun.1.gz -man/man1/ocamlyacc.1.gz share/doc/ocaml/html/contents_motif.gif share/doc/ocaml/html/index.html share/doc/ocaml/html/next_motif.gif |