🔨 Update docs.py script to enable dirty reload conditionally (#1060)

diff --git a/scripts/docs.py b/scripts/docs.py
index 8efcdda58ab463247456f4ff4e1001d888920c9d..d018ace86fb4c6c0e251d00276471341f45c2aa0 100644 (file)
--- a/scripts/docs.py
+++ b/scripts/docs.py
@@ -104,7 +104,7 @@ def verify_readme() -> None:
 
 
 @app.command()
-def live() -> None:
+def live(dirty: bool = False) -> None:
     """
     Serve with livereload a docs site for a specific language.
 
@@ -115,11 +115,10 @@ def live() -> None:
     en.
     """
     # Enable line numbers during local development to make it easier to highlight
-    subprocess.run(
-        ["mkdocs", "serve", "--dev-addr", "127.0.0.1:8008", "--dirty"],
-        env={**os.environ, "LINENUMS": "true"},
-        check=True,
-    )
+    args = ["mkdocs", "serve", "--dev-addr", "127.0.0.1:8008"]
+    if dirty:
+        args.append("--dirty")
+    subprocess.run(args, env={**os.environ, "LINENUMS": "true"}, check=True)
 
 
 @app.command()