J'écris un fichier makefile qui va nettoyer des fichiers inutiles à la fin de la compilation. Si une cible a déjà été créée, elle sera bien sûr ignorée et le fichier inutile pourrait ne pas y figurer. Donc si je fais ça: rm lexer.ml interpparse.ml interpparse.mli Je risque d’obtenir des erreurs car...