Ich schreibe ein Makefile, das am Ende der Kompilierung einige nutzlose Dateien aufräumt. Wenn bereits ein Ziel erstellt wurde, wird dieses Ziel übersprungen, und die nutzlose Datei ist möglicherweise nicht vorhanden. Wenn ich das mache: rm lexer.ml interpparse.ml interpparse.mli Möglicherweise...