diff --git a/scripts/README b/scripts/README
new file mode 100644
index 000000000..67d4acc9c
--- /dev/null
+++ b/scripts/README
@@ -0,0 +1,9 @@
+Instructions for updating external Z3 API
+-----------------------------------------
+
+The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API.
+The .h files provided to `mk_bindings(API_files)` contain these definitions.
+See src\api\z3_api.h for many examples.
+
+The bindings for .Net and Python are generated when mk_make.py is invoked.
+
diff --git a/scripts/update_api.txt b/scripts/update_api.txt
deleted file mode 100644
index 8b777b160..000000000
--- a/scripts/update_api.txt
+++ /dev/null
@@ -1,11 +0,0 @@
-Instructions for updating external Z3 API
------------------------------------------
-
-The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API.
-The .h files listed at update_api.py contain these definitions.
-See lib\z3_api.py for many examples.
-
-To generate bindings and the API logging infrastructure, the following command must be used:
-
-   python update_api.py
-