diff --git a/scripts/docs-live.sh b/scripts/docs-live.sh index 286f2a7c..6ed6a4be 100755 --- a/scripts/docs-live.sh +++ b/scripts/docs-live.sh @@ -1,7 +1,4 @@ - #!/usr/bin/env bash - -set -e -set -x +set -ex mkdocs serve --dev-addr 0.0.0.0:8008 --dirtyreload