Skip to content

Commit

Permalink
Update build_docs.py
Browse files Browse the repository at this point in the history
  • Loading branch information
glenn-jocher committed Jan 23, 2024
1 parent db1a823 commit 9703091
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions docs/build_docs.py
Original file line number Diff line number Diff line change
Expand Up @@ -62,8 +62,7 @@ def build_docs(use_languages=False, clone_repos=True):
for file in DOCS.glob("mkdocs_*.yml"):
print(f"Building MkDocs site with configuration file: {file}")
subprocess.run(f"mkdocs build -f {file}", check=True, shell=True)
# Update .md in href links
update_html_links()
update_html_links() # update .md in href links
print(f"Site built at {SITE}")


Expand Down

0 comments on commit 9703091

Please sign in to comment.