diff options
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -456,6 +456,7 @@ ide/utils/%.cmx: ide/%.ml clean:: rm -f ide/extract_index.ml ide/find_phrase.ml ide/highlight.ml rm -f ide/config_lexer.ml ide/config_parser.mli ide/config_parser.ml + rm -f ide/utf8_convert.ml rm -f $(COQIDEBYTE) $(COQIDEOPT) # coqc |