From: Bardur A. <sp...@sc...> - 2005-03-02 07:05:46
|
Bardur Arantsson wrote: > Hi again, > > Is there any particular reason that the ExtLib .mli files aren't > installed by 'make install'? > > It would sometimes be handy to have them installed for reference, so if > nobody objects within a few days, I'll add code to the Makefile and > install.ml to install them. > > Cheers, > I'll apply and commit the attached patch later today. (Here's to hoping that posting to gmane also sends to the list. :)) -- Bardur Arantsson <ba...@im...> <ba...@sc...> If you don't believe in Jesus, then just try to move your little finger. Iasson @ http://kuro5hin.org |