[plt-scheme] gentoo package
Trying to get up and running with MrEd (which looks extremely cool!).
I ran into one immediate snag - the gentoo package doesn't install any
mred documentation; indeed, the following directories under
/usr/share/doc/drscheme-372 are empty save for the hdindex and
keywords:
/usr/share/doc/drscheme-372/
|-- foreign
|-- framework
|-- help
|-- insidemz
|-- mred
|-- mrlib
|-- mzc
|-- plot
|-- tex2page
|-- tools
Is this something I'm doing wrong (I checked the use flags and nothing
seemed relevant)? Also, is this the right place to ask, or should I
file a bug in gentoo's bugzilla?
martin