Use sudo with make

Signed-off-by: Chihurumnaya Ibiam <ibiamchihurumnaya@gmail.com>
sugarlabs · Apr 5, 2024 · 390b244 · 390b244
1 parent 4f717d5
commit 390b244
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/ci/docs.sh b/ci/docs.sh
@@ -14,16 +14,16 @@ 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
-# create an index.html so that users dont become confused
+# create an index.html so that users don't become confused
 show-green "Writing index.html"
 echo "<h1>Page Moved</h1>" > deploy/index.html
 echo "<p>We have moved this page to <a href=\"https://github.com/sugarlabs/sugar-docs/blob/master/README.md\">GitHub</a>.</p>" >> deploy/index.html