diff --git a/scripts/docs.sh b/scripts/docs.sh index 129ed4c3..ea0c913e 100755 --- a/scripts/docs.sh +++ b/scripts/docs.sh @@ -5,5 +5,6 @@ SCRIPTPATH=$(dirname "$SCRIPT") OUT_DIR=$(readlink -m ${1:-./html}) cd $SCRIPTPATH/.. rm -r $OUT_DIR/* # keep .git folder in CI -pdoc3 --html -c show_type_annotations=True delta --force -o $OUT_DIR +pdoc3 --html --skip-errors -c show_type_annotations=True delta --force -o $OUT_DIR +cp -r docs/ $OUT_DIR/docs mv $OUT_DIR/delta/* $OUT_DIR/ && rmdir --ignore-fail-on-non-empty $OUT_DIR/delta