Sven Luther <[EMAIL PROTECTED]> writes: >> I could leave them around if so, but they'll probably mess with >> the new ocaml-mode file. Or rename them? Any other idea? > > Just zap them, or print a message (debconf message ?) for the user ?
I'd prefer not remove them without the consent of the user. -- Jérôme Marant
