From c78b0d88d9fced15c3298150821a705824ccbd3f Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Sun, 28 Jan 2024 21:39:55 +0100
Subject: [PATCH] Remove reference to .zoo file format

... by removing a now pointless source comment
---
 PackageInfo.g | 1 -
 1 file changed, 1 deletion(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index b84a14e..90ae2c1 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -186,7 +186,6 @@ SetPackageInfo( rec(
     # use same as in GAP            
     BookName  := "GUAVA",
     ArchiveURLSubset := ["doc"],
-    # format/extension can be one of .zoo, .tar.gz, .tar.bz2, -win.zip
     HTMLStart := "doc/chap0_mj.html",
     PDFFile   := "doc/manual.pdf",
     # the path to the .six file used by GAP's help system