Estoy escribiendo un archivo MAKE que limpiará algunos archivos inútiles al final de la compilación. Si ya se ha creado un objetivo, por supuesto se saltará ese objetivo y es posible que el archivo inútil no esté allí. Entonces si hago esto: rm lexer.ml interpparse.ml interpparse.mli Es posible...