diff --git a/ci/docs.sh b/ci/docs.sh index 9c8b5306a..0c3c3dc56 100755 --- a/ci/docs.sh +++ b/ci/docs.sh @@ -26,7 +26,7 @@ show-green "Building documentation" sudo ./make-doc.sh sudo mkdir deploy sudo mv doc/_build/html deploy/sugar3 -touch deploy/.nojekyll +sudo touch deploy/.nojekyll # create an index.html so that users don't become confused show-green "Writing index.html" echo "