diff --git a/update_api.sh b/update_api.sh
new file mode 100755
index 00000000000..796ae249709
--- /dev/null
+++ b/update_api.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+cd dll
+python mk_def.py
+cd ..
+cd lib
+python api.py
+cd ..
+cd Microsoft.Z3
+python mk_z3consts.py
+cd ..
+cd python
+python mk_z3consts.py
+python mk_z3tactics.py
+cd ..