comply with AutoDoc v2025.12.19 (#282)

Author: mohamed-barakat

.github/workflows/Tests.yml

@@ -48,7 +48,6 @@ jobs:
       - name: Prepare environment
         run: |
           cp ./FinSetsForCAP/dev/ci_gaprc /home/gap/.gap/gaprc
-          git clone --depth 1 -vv https://github.com/gap-packages/AutoDoc.git
           git clone --depth 1 -vv https://github.com/homalg-project/homalg_project.git
           git clone --depth 1 -vv https://github.com/homalg-project/CAP_project.git
           git clone --depth 1 -vv https://github.com/homalg-project/Toposes.git
@@ -59,6 +58,7 @@ jobs:
           if [ -d "CAP_project/CompilerForCAP" ]; then make -C "CAP_project/CompilerForCAP" doc; fi
           if [ -d "CAP_project/MonoidalCategories" ]; then make -C "CAP_project/MonoidalCategories" doc; fi
           if [ -d "CAP_project/CartesianCategories" ]; then make -C "CAP_project/CartesianCategories" doc; fi
+          if [ -d "CAP_project/AdditiveClosuresForCAP" ]; then make -C "CAP_project/AdditiveClosuresForCAP" doc; fi
           if [ -d "CAP_project/FreydCategoriesForCAP" ]; then make -C "CAP_project/FreydCategoriesForCAP" doc; fi
           if [ -d "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" ]; then make -C "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" doc; fi
           if [ -d "homalg_project/homalg" ]; then make -C "homalg_project/homalg" doc; fi

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The (skeletal) elementary topos of finite sets",
-Version := "2025.11-01",
+Version := "2025.12-01",
 
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",

dev/.release

@@ -14,7 +14,7 @@ sed "s;Date := .*;Date := \"$(date -I)\",;" PackageInfo.g > PackageInfo.g.bak
 mv PackageInfo.g.bak PackageInfo.g
 
 # replace links to packages which are possibly referenced in the documentation, keep this in sync with `Tests.yml.j2`
-for package in CAP_project/CAP CAP_project/CompilerForCAP CAP_project/MonoidalCategories CAP_project/CartesianCategories CAP_project/FreydCategoriesForCAP HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra homalg_project/homalg homalg_project/Modules CategoricalTowers/ToolsForCategoricalTowers CategoricalTowers/Toposes; do
+for package in CAP_project/CAP CAP_project/CompilerForCAP CAP_project/MonoidalCategories CAP_project/CartesianCategories CAP_project/AdditiveClosuresForCAP CAP_project/FreydCategoriesForCAP HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra homalg_project/homalg homalg_project/Modules CategoricalTowers/ToolsForCategoricalTowers CategoricalTowers/Toposes; do
 
     # adjust links to other manuals
     # Note that we cannot use sed's `-i` option for in-place editing, as

makedoc.g

@@ -3,9 +3,9 @@
 #
 # This file is a script which compiles the package manual.
 #
-if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
+if fail = LoadPackage( "AutoDoc", "2025.12.19" ) then
 
-    Error( "AutoDoc version 2019.05.20 or newer is required." );
+    Error( "AutoDoc version 2025.12.19 or newer is required." );
 
 fi;
 
@@ -31,7 +31,7 @@ AutoDoc( rec(
         ),
     ),
     scaffold := rec(
-        entities := [ "homalg", "CAP" ],
+        entities := rec( homalg := "homalg", CAP := "CAP" ),
     ),
 ) );
 

makedoc_with_overfull_hbox_warnings.g

@@ -3,9 +3,9 @@
 #
 # This file is a script which compiles the package manual and prints overfull hbox warnings.
 #
-if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
+if fail = LoadPackage( "AutoDoc", "2025.12.19" ) then
 
-    Error( "AutoDoc version 2019.05.20 or newer is required." );
+    Error( "AutoDoc version 2025.12.19 or newer is required." );
 
 fi;
 
@@ -42,7 +42,7 @@ AutoDoc( rec(
         ),
     ),
     scaffold := rec(
-        entities := [ "homalg", "CAP" ],
+        entities := rec( homalg := "homalg", CAP := "CAP" ),
     ),
 ) );
 

makefile

@@ -58,26 +58,4 @@ test-spacing:
 	rm spacing_diff
 	rm spacing_diff_no_blanks
 
-test-gap_to_julia:
-	@bash -e -c '\
-		if [ ! -d "$$HOME/.gap/PackageJanitor" ]; then \
-			git clone --depth 1 -vv https://github.com/homalg-project/PackageJanitor.git "$$HOME/.gap/PackageJanitor"; \
-		else \
-			echo "PackageJanitor already exists, skipping clone."; \
-		fi; \
-		if [ ! -d "$$HOME/.julia/dev/CAP_project.jl" ]; then \
-			git clone --depth 1 -vv https://github.com/homalg-project/CAP_project.jl.git "$$HOME/.julia/dev/CAP_project.jl"; \
-		else \
-			echo "CAP_project.jl already exists, skipping clone."; \
-		fi; \
-		for pkg in CAP MonoidalCategories CartesianCategories Toposes FinSetsForCAP; do \
-			julia -e "using Pkg; Pkg.develop(path = homedir() * \"/.julia/dev/CAP_project.jl/$${pkg}\")"; \
-		done; \
-		for pkg in CAP MonoidalCategories CartesianCategories Toposes FinSetsForCAP; do \
-			make -C "$$HOME/.julia/dev/CAP_project.jl/$${pkg}" gen-full; \
-		done; \
-		for pkg in CAP MonoidalCategories CartesianCategories Toposes FinSetsForCAP; do \
-			julia -e "using Pkg; Pkg.test(\"$${pkg}\")"; \
-		done'
-
-ci-test: test-basic-spacing test-spacing test-doc test-with-coverage test-with-coverage-without-precompiled-code test-gap_to_julia
+ci-test: test-basic-spacing test-spacing test-doc test-with-coverage test-with-coverage-without-precompiled-code