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,
--
Bardur Arantsson
<ba...@im...>
<ba...@sc...>
- Leela, save me! And yourself I guess... and my banjo... and
Fry!
Bender | Futurama
|