fix make clean

fblanqui · fblanqui · commit cf9b021adcc0 · 2023-01-03T16:21:16.000+01:00
diff --git a/Makefile b/Makefile
@@ -98,7 +98,6 @@ clean: lpoclean
 	@dune clean
 	@$(MAKE) -C editors/emacs clean
 	@$(MAKE) -C editors/vscode clean
-	@$(MAKE) -C Logic clean
 
 .PHONY: distclean
 distclean: clean
