diff --git a/examples/python/README b/examples/python/README
new file mode 100644
index 000000000..eb564ec1a
--- /dev/null
+++ b/examples/python/README
@@ -0,0 +1,4 @@
+The example is copied to the build directory during configuration.
+You can execute it using
+    python example.py
+in the build directory after you build Z3.
\ No newline at end of file