From 6775f142a74f812a63de9a99736504ab3723d189 Mon Sep 17 00:00:00 2001 From: ChanChan Mao Date: Fri, 17 Jan 2025 15:06:34 -0800 Subject: [PATCH] minor fixes --- docs/.gitignore | 2 +- docs/hooks.py | 2 +- docs/mkdocs.yml | 4 ++-- docs/mkdocs/css/extra.css | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/.gitignore b/docs/.gitignore index 99fbcd3508..057b6dfa8b 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,3 +1,3 @@ sphinx/source/_build site -mkdocs/api_docs \ No newline at end of file +mkdocs/api_docs diff --git a/docs/hooks.py b/docs/hooks.py index 5ccfd57134..4c2511d10d 100644 --- a/docs/hooks.py +++ b/docs/hooks.py @@ -1,7 +1,7 @@ import shutil import subprocess + def make_api_docs(*args, **kwargs): subprocess.run(["make", "html"]) shutil.copytree("sphinx/_build/html", "mkdocs/api_docs", dirs_exist_ok=True) - diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index c84dba463e..856452241b 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -115,7 +115,7 @@ extra: api_path: api_docs/doc_gen extra_css: - - /css/extra.css +- /css/extra.css # Extensions markdown_extensions: @@ -149,4 +149,4 @@ plugins: - macros - mkdocs-simple-hooks: hooks: - on_pre_build: "docs.hooks:make_api_docs" + on_pre_build: "docs.hooks:make_api_docs" diff --git a/docs/mkdocs/css/extra.css b/docs/mkdocs/css/extra.css index 19f3877767..d131c2d7bd 100644 --- a/docs/mkdocs/css/extra.css +++ b/docs/mkdocs/css/extra.css @@ -11,4 +11,4 @@ border: .05rem solid var(--md-default-bg-color--lighter); border-radius: .1rem; content: "/"; - } \ No newline at end of file + }