1 Oct
2007
1 Oct
'07
7:45 a.m.
On 2007-10-01 14:32:54 +1000, Boey Maun Suang wrote:
So, as a workaround, would there be any problems in recommending deactivating texinfo before installing affected ports, and then reactivating texinfo after? (I'm assuming that Mac OS X >= 10.2.0 have makeinfo installed with the BSD subsystem; it's 4.7 on 10.4.10 here.)
It would be easier to patch the gcc ports by applying the patch to their configure file. -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)