Add AutoDoc as suggested package

gap-packages · Aug 30, 2024 · 580d0d5 · 580d0d5
1 parent b031f54
commit 580d0d5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -84,7 +84,9 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.12",
   NeededOtherPackages := [],
-  SuggestedOtherPackages := [ [ "GAPDoc", ">= 1.6.1" ], [ "curlInterface", ">= 2.1.0" ] ],
+  SuggestedOtherPackages := [ [ "GAPDoc", ">= 1.6.1" ],
+                              [ "AutoDoc", ">= 2023.06.19" ],
+                              [ "curlInterface", ">= 2.1.0" ] ],
   ExternalConditions := [ ],
 ),