Quoting Stefano Zacchiroli <[EMAIL PROTECTED]>:
> Well, I skim through the ocaml libdir _manually_ (i.e. via shell and tab > expansions!) very often and changing it cause difficulties. I know other > users which had the same problem when we changed the location last time. > > If it's not really necessary why changing it again? Who wants to change it? :-) I have no clue about this libdir change but Sven seemed to say that this had nothing to do with what you mean. Cheer, -- J�r�me Marant -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

