Advanced search
Log In | New Account   
Home My Page Project Tree Code Snippets Project Openings Batteries : Revised Standard Library
Summary Activity Forums Tracker Lists Tasks Docs News Files

Bugs: Browse | Download .csv

[#211] Build with the --with-godi option forces documentation generation

Date:
2009-04-19 11:13
Priority:
3
State:
Open
Submitted by:
Assigned to:
David Teller (yoric)
Summary:
Build with the --with-godi option forces documentation generation

Detailed description
According to README:

---

To install the full version of OCaml Batteries Included in the default
directory (/usr/local/), execute

    $ ./configure
    $ make all opt top syntax install install-doc

(...)

Be patient, documentation generation may take more than 15 minutes.
If you do not want the documentation generation, remove "install-doc"
from the previous commands.

---

However, when using --with-godi, "all" implies "install-doc".

Followup

Message
Date: 2009-06-13 15:44
Sender: David Teller

This should be fixed.

Needs testing.

Related Tasks:

No Related Tasks

Attached Files:

No Files Currently Attached

Changes:

Field Old Value Date By
assigned_tonone2009-06-13 15:44yoric
ResolutionNone2009-06-13 15:44yoric

Powered By GForge Collaborative Development Environment