diff --git a/src/api/ml/Makefile b/src/api/ml/Makefile
deleted file mode 100644
index 96fd0a55d..000000000
--- a/src/api/ml/Makefile
+++ /dev/null
@@ -1,10 +0,0 @@
-# This is a temporary support file for emacs annotations. 
-# It does not compile the Z3 ML API; this will be built 
-# in the top-level build directory.
-
-all: 
-	ocamlbuild -cflag -annot z3.cmxa
-
-doc: *.ml
-	mkdir -p doc
-	ocamldoc -html -d doc -I _build -sort *.mli -hide Z3