gcc42 info manual

[Ryan Schmidt]

On Jun 8, 2007, at 15:06, Jochen Küpper wrote:

> I have gcc42 installed, but no info-files in ${prefix}/share/info.  
> On the other hand I see a --infodir=${prefix}/share/info in the  
> gcc42 Portfile...
>
> Since this is along build, I don't want to try whether I would get  
> info pages this time, but maybe some of you could check whether  
> they have the info-manuals installed or not?

According to "port contents gcc42" on my Intel Core 2 Duo MacBook  
Pro, it did not install anything into ${prefix}/share/info.

> If yes, what could have gone wrong in my setup?
>
> If no, can someone please update the Portfile to install the info  
> manuals alongside gcc, and also "install-info" the gcc.info into  
> the dir-file (see also my previous more general post on that info- 
> manuals issue)?

That should presumably be the port maintainer, whom I'm Cc'ing on  
this email.