Merge pull request #71 from homalg-project/PackageJanitor-1638368526

Apply PackageJanitor

Author: zickgraf

.github/workflows/Tests.yml

@@ -7,14 +7,14 @@ on:
       - "*-ci"
   pull_request:
   schedule:
-    - cron: "0 0 * * *"
+    - cron: "0 4 * * *" # after gap-docker(-master) is rebuilt
   workflow_dispatch:
 
 jobs:
   test:
     strategy:
       matrix:
-        image: [gapsystem/gap-docker, gapsystem/gap-docker-master]
+        image: ["ghcr.io/homalg-project/gap-docker:latest", "ghcr.io/homalg-project/gap-docker-master:latest"]
       fail-fast: false
     runs-on: ubuntu-latest
     container:
@@ -29,26 +29,30 @@ jobs:
       - run: |
           export HOME="/home/gap"
           cd /home/gap/.gap/pkg/
-          # work around https://github.com/gap-system/gap-docker-base/issues/30
-          sudo apt -o Acquire::https::Verify-Peer="false" update
-          sudo apt -o Acquire::https::Verify-Peer="false" dist-upgrade -y
-          sudo apt -o Acquire::https::Verify-Peer="false" install -y texlive-latex-extra
           cp ./FinSetsForCAP/ci_gaprc /home/gap/.gap/gaprc
           git clone --depth 1 https://github.com/gap-packages/AutoDoc.git
           git clone --depth 1 https://github.com/homalg-project/homalg_project.git
           git clone --depth 1 https://github.com/homalg-project/CAP_project.git
           git clone --depth 1 https://github.com/homalg-project/Toposes.git
           # set SOURCE_DATE_EPOCH for reproducible PDFs
           export SOURCE_DATE_EPOCH=0
+          # build documentation of packages which we might want to reference, keep this in sync with `release-gap-package`
+          [ -d "CAP_project/CAP" ] && make -C "CAP_project/CAP" doc
+          [ -d "CAP_project/FreydCategoriesForCAP" ] && make -C "CAP_project/FreydCategoriesForCAP" doc
+          [ -d "CAP_project/MonoidalCategories" ] && make -C "CAP_project/MonoidalCategories" doc
+          [ -d "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" ] && make -C "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" doc
+          [ -d "homalg_project/homalg" ] && make -C "homalg_project/homalg" doc
+          [ -d "homalg_project/Modules" ] && make -C "homalg_project/Modules" doc
+          [ -d "Toposes" ] && make -C "Toposes" doc
           TERM=dumb make -C FinSetsForCAP -j $(nproc) --output-sync ci-test
           cp ./FinSetsForCAP/.codecov.yml ./
           (cd FinSetsForCAP && LANG=C.UTF-8 python3 process_coverage_ignored_lines.py)
-          [ "${{ matrix.image }}" = "gapsystem/gap-docker-master" ] && ./FinSetsForCAP/upload_codecov.sh
+          [ "${{ matrix.image }}" = "ghcr.io/homalg-project/gap-docker-master:latest" ] && ./FinSetsForCAP/upload_codecov.sh
           git config --global user.name "Bot"
           git config --global user.email "empty"
           cd FinSetsForCAP
           CUR_SHA=$(git rev-parse --verify HEAD)
-          if [ "${{ matrix.image }}" = "gapsystem/gap-docker" ] && [ "$CUR_SHA" = "$(git rev-parse origin/master)" ] && [ $(dirname "$GITHUB_REPOSITORY") = "homalg-project" ]; then \
+          if [ "${{ matrix.image }}" = "ghcr.io/homalg-project/gap-docker:latest" ] && [ "$CUR_SHA" = "$(git rev-parse origin/master)" ] && [ $(dirname "$GITHUB_REPOSITORY") = "homalg-project" ]; then \
             git worktree add gh-pages/ gh-pages || (echo "There was an error. Make sure there is a branch named 'gh-pages'. See https://github.com/homalg-project/PackageJanitor#error-there-was-an-error-make-sure-there-is-a-branch-named-gh-pages"; exit 1); \
             git checkout master; \
             LANG=C.UTF-8 ./make_dist.sh --token "${{ secrets.GITHUB_TOKEN }}"; \

release-gap-package

@@ -460,18 +460,17 @@ fi
 # make sure every file is readable
 chmod -R a+r .
 
-# adjust links to other manuals
-# Note that we cannot use sed's `-i` option for in-place editing, as
-# that is a non-portable extension of POSIX, which works differently in
-# BSD and GNU make.
-for f in ./*/*.htm* ; do
-  sed 's;href="/home/gap/.gap/pkg/homalg_project/Modules/doc/;href="https://homalg-project.github.io/homalg_project/Modules/doc/;g' "$f" > "$f.bak"
-  mv "$f.bak" "$f"
-done
-
-for f in ./*/*.htm* ; do
-  sed 's;href="/home/gap/.gap/pkg/homalg_project/homalg/doc/;href="https://homalg-project.github.io/homalg_project/homalg/doc/;g' "$f" > "$f.bak"
-  mv "$f.bak" "$f"
+for package in CAP_project/CAP CAP_project/FreydCategoriesForCAP CAP_project/MonoidalCategories HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra homalg_project/homalg homalg_project/Modules Toposes; do
+    
+    # adjust links to other manuals
+    # Note that we cannot use sed's `-i` option for in-place editing, as
+    # that is a non-portable extension of POSIX, which works differently in
+    # BSD and GNU make.
+    for f in ./*/*.htm* ; do
+        sed "s;href=\"/home/gap/.gap/pkg/$package/doc/;href=\"https://homalg-project.github.io/$package/doc/;g" "$f" > "$f.bak"
+        mv "$f.bak" "$f"
+    done
+    
 done
 
 # basic sanity check

upload_codecov.sh

@@ -23,4 +23,4 @@ shasum -a 256 -c codecov.SHA256SUM
 
 # execute
 chmod +x codecov
-./codecov
+./codecov -Z