From 4703ade76dc152841580333af14f04a049d80ff3 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sat, 29 Jun 2024 07:22:57 -0700 Subject: [PATCH] Update build script --- support/manage.py | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/support/manage.py b/support/manage.py index 41a39c47..08a8af24 100755 --- a/support/manage.py +++ b/support/manage.py @@ -76,18 +76,8 @@ def create_build_env(): class Env: pass env = Env() - - # Import the documentation build module. env.fmt_dir = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) - sys.path.insert(0, os.path.join(env.fmt_dir, 'doc')) - import build - env.build_dir = 'build' - env.versions = build.versions - - # Virtualenv and repos are cached to speed up builds. - build.create_build_env(os.path.join(env.build_dir, 'virtualenv')) - env.fmt_repo = Git(os.path.join(env.build_dir, 'fmt')) return env