diff --git a/test-docs.sh b/test-docs.sh index 93a01493d1f95305772792efffa2ac0a8faf1bed..a1608b2283c341ee45afe561b4a6200b341e5b97 100755 --- a/test-docs.sh +++ b/test-docs.sh @@ -1,8 +1,5 @@ #!/bin/bash -docker run -it --rm -v $(pwd)/:/gso sphinxdoc/sphinx:latest /bin/bash -c \ -"pip install sphinx-autodoc2 sphinx_rtd_theme myst-parser;cd /gso/docs/source;make html" - if [ ! -d ./docs/vale/styles/proselint ] || [ ! -d ./docs/vale/styles/Microsoft ]; then docker run -it --rm -v $(pwd)/docs:/docs jdkato/vale:latest --config="/docs/vale/.vale.ini" sync fi