[plt-scheme] gentoo package
On Fri, Apr 11, 2008 at 3:32 PM, Martin DeMello <martindemello at gmail.com> wrote:
> On Fri, Apr 11, 2008 at 3:23 PM, Henk Boom <lunarc.lists at gmail.com> wrote:
> >
> > It's probably a good idea to file a bug there in any case, so that
> > when someone comes up with a patch it has somewhere to go.
>
> Done. http://bugs.gentoo.org/show_bug.cgi?id=217335
More on this:
I did a source install to see if I could figure out which step
installed the docs, and I found this in src/README:
4. [Optional] Run `help-desk' to install missing documentation.
The source distribution (or Subversion-based source) includes only
the release notes, and not the rest of the core documentation.
Run the newly installed `help-desk' and follow the "Manuals" link
to install the rest of the documentation. For a Subversion-based
build, the "Manuals" page includes a link to update previously
installed documentation.
Since gentoo works directly with the sources, there is no way for it
to do this at install time. Is there any way to automate this, so it
can be added to the ebuild as a use flag?
martin