Bug 413925

Summary:	dev-ml/core should have a "doc" USE flag
Product:	Gentoo Linux	Reporter:	Alexandru Scvortov <scvalex>
Component:	New packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---

Description Alexandru Scvortov 2012-04-29 00:18:44 UTC

dev-ml/core_extended has a "doc" USE flag that builds and installs documentation. dev-ml/core doesn't.

The fix is to add

  OASIS_BUILD_DOCS=1

before

  inherit oasis

in the ebuild.

This is fairly important since the "official" documentation is for an ancient version of core
  http://www.janestreet.com/ocaml/janestreet-ocamldocs/core/index.html

Comment 1 Alexis Ballier gentoo-dev

2012-05-04 12:43:03 UTC

fixed, thanks