Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 119838 - app-doc/ocaml-doc.ebuild (OCaml reference manual)
Summary: app-doc/ocaml-doc.ebuild (OCaml reference manual)
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All All
: High enhancement (vote)
Assignee: Default Assignee for New Packages
URL: http://caml.inria.fr/pub/docs/manual-...
Whiteboard:
Keywords: EBUILD
Depends on:
Blocks:
 
Reported: 2006-01-21 10:11 UTC by Ingo Bormuth
Modified: 2006-01-21 16:04 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
ocaml-docs-3.09.ebuild (ocaml-docs-3.09.ebuild,630 bytes, text/plain)
2006-01-21 10:13 UTC, Ingo Bormuth
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Ingo Bormuth 2006-01-21 10:11:48 UTC
This ebuild installs a local copy of the official ocaml reference manual.
Ocaml and MetaOcaml could say DEPEND="doc? app-doc/ocaml-docs".
Comment 1 Ingo Bormuth 2006-01-21 10:13:27 UTC
Created attachment 77732 [details]
ocaml-docs-3.09.ebuild
Comment 2 Alexandre Buisse (RETIRED) gentoo-dev 2006-01-21 16:04:45 UTC
This is indeed a very nice ebuild (I used to make a manual copy).

I made a few changes before commiting it:
- it was renamed in ocaml-doc
- don't use ${PVR} unless you have a good reason to (like tarballs having changes) but ${PV} instead. New revisions are usually internal gentoo changes so that shouldn't modify SRC_URI and other variables.
- the symlink in /usr/share/ocaml-docs was removed (btw, this is done with a "dosym" in src_install, not real "ln -s" in pkg_postinst). I hesitated much before doing it, but policy is that doc goes in /usr/share/doc, and there was then no point in having /usr/share/doc/ocaml-doc and /usr/share/ocaml-doc-0.9
- an einfo saying that it was also available online at ${HOMEPAGE} was added, as there is no point in having this package if you have an internet connexion.

Thanks!