diff options
| author | sergei <sergei@FreeBSD.org> | 2004-02-27 15:26:15 +0800 |
|---|---|---|
| committer | sergei <sergei@FreeBSD.org> | 2004-02-27 15:26:15 +0800 |
| commit | 7108767d7ceb5eb0b96fc9e81715cd31fa74ff19 (patch) | |
| tree | c3c9296b8ac3a977b0214c2d2347f5030dbe0e60 /LEGAL | |
| parent | 2c19b097c5797f91cc5115d75d731a8491b7e1f7 (diff) | |
| download | freebsd-ports-gnome-7108767d7ceb5eb0b96fc9e81715cd31fa74ff19.tar.gz freebsd-ports-gnome-7108767d7ceb5eb0b96fc9e81715cd31fa74ff19.tar.zst freebsd-ports-gnome-7108767d7ceb5eb0b96fc9e81715cd31fa74ff19.zip | |
- Split the port into 3 parts: ocaml, ocaml-nox11 (slave port), ocaml-doc
- Strip all the executables which are allowed to be stripped
according to the OCaml documentation
- PORTVERSION looks now more correct because the documentation
(which has the other version number, without the patch level prefix)
is now in a separate port
PR: ports/62291
Submitted by: maintainer
Diffstat (limited to 'LEGAL')
0 files changed, 0 insertions, 0 deletions