From 3089ee1e07e1e9df8a2ef60bd6dfcfbd7fd397b5 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Wed, 29 Jul 2026 02:09:35 +0200
Subject: [PATCH] Drop spurious dependency on GAPDoc

---
 PackageInfo.g | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 2ccc514..3c45d21 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -70,7 +70,7 @@ PackageDoc := rec(
 
 Dependencies := rec(
   GAP := ">= 4.12",
-  NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], ["IO", ">= 4.4.4" ] ],
+  NeededOtherPackages := [ ["IO", ">= 4.4.4" ] ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],
 ),