run.sh: use watch for docs-dev.

lemon24 · lemon24 · commit 46685ed51db8 · 2025-09-29T17:46:23.000+03:00
diff --git a/run.sh b/run.sh
@@ -68,7 +68,7 @@ function typing-dev {
 
 function docs-dev {
     rm -r docs/_build/html
-    entr-project-files -cdr sphinx-build -W docs docs/_build/html "$@"
+    watch sphinx-build -W docs docs/_build/html "$@"
 }
 
 function serve-dev {

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ function typing-dev {`
`68`	`68`
`69`	`69`	`function docs-dev {`
`70`	`70`	`rm -r docs/_build/html`
`71`		`- entr-project-files -cdr sphinx-build -W docs docs/_build/html "$@"`
	`71`	`+ watch sphinx-build -W docs docs/_build/html "$@"`
`72`	`72`	`}`
`73`	`73`
`74`	`74`	`function serve-dev {`