diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 82688be1a..5ca30b882 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -21,7 +21,7 @@ jobs: sudo apt install -y libgdk-pixbuf2.0-dev libsm-dev libice-dev librsvg2-dev sudo apt install -y libxfixes-dev libxi-dev libx11-dev gettext intltool sudo apt install -y libxml-parser-perl x11proto-core-dev libasound2-dev - sudo apt install -y libgirepository1.0-dev linux-libc-dev + sudo apt install -y libgirepository1.0-dev linux-libc-dev gir1.2-sugarext-1.0 # install python3 dependencies sudo apt install -y gir1.2-webkit2-4.1 python3-six python3-decorator diff --git a/ci/docs.sh b/ci/docs.sh index 0c3c3dc56..5efd5bf7d 100755 --- a/ci/docs.sh +++ b/ci/docs.sh @@ -29,8 +29,8 @@ 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"