On Mon, Sep 30, 2002 at 02:05:22PM +0200, Claudio Sacerdoti Coen wrote: > > Can I currently put several META files in the same directory the > > way you describe here, i.e. META.zoggy, META.report and so on ? > > Yes, you can. > > [BTW, mine was not a suggestion to user /usr/lib/ocaml to store the > META.xxx. It was just an example. A META directory would be much better]
/usr/lib/ocaml/cameleon (where cameleon libraries are being installed) would do, right? -- Jérôme Marant
