Skip to content

Commit ca9e298

Browse files
Remove redundant Sphinx build directory (sandialabs#387)
* docs/_build directory now deleted after files are copied elsewhere * removed redundant build directory and extraneous references to it * removed debugging line * added custom.css back in after accidentally removing it --------- Co-authored-by: jtgrasb <[email protected]>
1 parent 63579e9 commit ca9e298

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/build_docs.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -87,6 +87,7 @@ def move_pages(dest_dir=None):
8787
print(f"Moving HTML pages to {os.path.join(docs_dir, 'pages', dest_dir)}...")
8888
shutil.copytree(
8989
html_dir, os.path.join(docs_dir, 'pages', dest_dir))
90+
shutil.rmtree(build_dir, ignore_errors=True)
9091
print('Done.')
9192

9293

@@ -108,4 +109,3 @@ def move_pages(dest_dir=None):
108109
if name != home_name:
109110
build_doc(name, tag, home_branch, build)
110111
move_pages(dest_dir=name)
111-
shutil.rmtree(html_dir)

0 commit comments

Comments
 (0)