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 "] 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"