From cf0b83eaefd8e02307dbf83e8030f731d901c1ce Mon Sep 17 00:00:00 2001 From: Chihurumnaya Ibiam Date: Wed, 8 May 2024 17:39:06 +0100 Subject: [PATCH] Use sudo Signed-off-by: Chihurumnaya Ibiam --- ci/docs.sh | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/ci/docs.sh b/ci/docs.sh index 74d75010d..183022c7b 100755 --- a/ci/docs.sh +++ b/ci/docs.sh @@ -14,19 +14,19 @@ show-green () { # make source show-green "Compiling" -./autogen.sh --with-python3 -make +sudo ./autogen.sh --with-python3 +sudo make # make documentation show-green "Building documentation" -./make-doc.sh -mkdir deploy -mv doc/_build/html deploy/sugar3 -touch deploy/.nojekyll +sudo ./make-doc.sh +sudo mkdir deploy +sudo mv doc/_build/html deploy/sugar3 +sudo touch deploy/.nojekyll # create an index.html so that users don't become confused show-green "Writing index.html" -echo "

Page Moved

" > deploy/index.html -echo "

We have moved this page to GitHub.

" >> deploy/index.html -echo "

How did you get here? Please report any lingering links.

" >> deploy/index.html +sudo echo "

Page Moved

" > deploy/index.html +sudo echo "

We have moved this page to GitHub.

" >> deploy/index.html +sudo echo "

How did you get here? Please report any lingering links.

" >> deploy/index.html show-green "Done"