From 7b0b7e8440829f80d1fdee1a7f6daa82d3538c90 Mon Sep 17 00:00:00 2001
From: charguer
Date: Mon, 12 Nov 2018 16:28:14 +0100
Subject: binding generator for coqide

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6adefa5d47..2b5d2cea16 100644
--- a/Makefile
+++ b/Makefile
@@ -263,6 +263,7 @@ clean-ide:
 	rm -f ide/input_method_lexer.ml
 	rm -f ide/highlight.ml ide/config_lexer.ml ide/config_parser.mli ide/config_parser.ml
 	rm -f ide/utf8_convert.ml
+	rm -f ide/default.bindings
 	rm -rf $(COQIDEAPP)
 
 mlgclean:
-- 
cgit v1.2.3