diff --git a/ci/__main__.py b/ci/__main__.py index 7535ee9b9cff6e9f2a68e011bd1a6e7b86ecbe54..facec76403471766a6f60002a4f400b07c6f8214 100644 --- a/ci/__main__.py +++ b/ci/__main__.py @@ -94,7 +94,9 @@ def coverage(python_version): @cli.command(help="Builds the documentation") @python_version_option def docs(python_version): - check_call(["make", "html"], cwd="doc") + env_name = get_env_name(python_version) + + check_call(["edm", "run", "-e", env_name, "--", "make", "html"], cwd="doc") def get_env_name(python_version):