diff --git a/doc/upload-docs.sh b/doc/upload-docs.sh new file mode 100755 index 0000000000000000000000000000000000000000..176c9fbd04e6366058283752dd7bb4df7ac4848b --- /dev/null +++ b/doc/upload-docs.sh @@ -0,0 +1,3 @@ +#! /bin/sh + +rsync --verbose --archive --delete _build/html/* doc-upload:doc/arraycontext