Skip to content

Commit

Permalink
Don't create unneeded _build dir at top-level.
Browse files Browse the repository at this point in the history
  • Loading branch information
zuckerruebe committed Jan 29, 2024
1 parent 5182a60 commit 3dc4948
Showing 1 changed file with 0 additions and 12 deletions.
12 changes: 0 additions & 12 deletions dev-tools/dev_tools.py
Original file line number Diff line number Diff line change
Expand Up @@ -241,8 +241,6 @@ def _run_apidoc():


def _run_sphinx_build():
_ensure_empty_local_dir_exists("_build")

cmd = [
f"{_SCRIPTS_DIR / 'sphinx-build'}",
"-M",
Expand All @@ -254,16 +252,6 @@ def _run_sphinx_build():
_print_and_run(cmd)


def _ensure_empty_local_dir_exists(dir_name):
dir_path = pl.Path(dir_name)

if dir_path.is_dir():
sh.rmtree(dir_path)
time.sleep(1)

dir_path.mkdir()


def _print_and_run(args: tp.Sequence[str]) -> None:
formatted_args = " ".join(str(arg) for arg in args)
print(f"Running '{formatted_args}'...")
Expand Down

0 comments on commit 3dc4948

Please sign in to comment.