diff --git a/docs/setup.md b/docs/setup.md
index f1a4382..abe1df5 100644
--- a/docs/setup.md
+++ b/docs/setup.md
@@ -4,7 +4,13 @@ Install `poetry`. Then, run
 ```sh
 poetry build
 ```
-This builds a wheel of Pantograph which can then be installed.
+
+This builds a wheel of Pantograph in `dist` which can then be installed. For
+example, a downstream project could have this line in its `pyproject.toml`
+
+```toml
+pantograph = { file = "path/to/wheel/dist/pantograph-0.2.19-cp312-cp312-manylinux_2_40_x86_64.whl" }
+```
 
 To run the examples and experiments, setup a poetry shell:
 ```sh
diff --git a/pyproject.toml b/pyproject.toml
index ef55b3c..0394282 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -6,6 +6,11 @@ authors = ["Leni Aniva <v@leni.sh>"]
 license = "GPL-3"
 readme = "README.md"
 
+include = [
+    { path = "pantograph/pantograph-repl", format = ["sdist", "wheel"] },
+    { path = "pantograph/lean-toolchain", format = ["sdist", "wheel"] },
+]
+
 [tool.poetry.dependencies]
 pexpect = "^4.9.0"
 python = "^3.10"