diff --git a/ci/docs.sh b/ci/docs.sh index b5d8643f4..ba3aaf126 100755 --- a/ci/docs.sh +++ b/ci/docs.sh @@ -19,7 +19,7 @@ sudo make # make documentation show-green "Building documentation" -./make-doc.sh +sudo ./make-doc.sh mkdir deploy mv doc/_build/html deploy/sugar3 touch deploy/.nojekyll