Sven Luther <sven.luther@wanadoo.fr> 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