diff --git a/srv/salt/update_doc.sh b/srv/salt/update_doc.sh index b8c7995..86fa9b2 100644 --- a/srv/salt/update_doc.sh +++ b/srv/salt/update_doc.sh @@ -35,7 +35,7 @@ if [[ "$1" = "clean" ]]; then make clean fi -sphinx-build -b html -d _build/doctrees . _build/html/stable +make dist if [[ "$1" = "clean" ]]; then make optipng