make clean now cleans extracted files

hferee · Feb 8, 2024 · 959f654 · 959f654
1 parent 63e6069
commit 959f654
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -29,7 +29,7 @@ doc: makefile.coq demo
 clean::
 	rm makefile.coq makefile.coq.conf
 	rm -f $(BUILD_FILES)
-	rm -f extraction/*.{ml,mli}
+	rm -f extraction/*.ml extraction/*.mli
 
 # OCaml build
 #SOURCE_ROOT=extraction