From 0c399042dae2e890f17fccc372079f37507939bd Mon Sep 17 00:00:00 2001
From: Wilf Wilson <wilf@wilf-wilson.net>
Date: Mon, 1 Sep 2025 21:08:43 +0100
Subject: [PATCH] Treat an optional CHANGES file similarly to the README

---
 release-gap-package | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/release-gap-package b/release-gap-package
index 4553670..517c0c9 100755
--- a/release-gap-package
+++ b/release-gap-package
@@ -280,6 +280,9 @@ tmp:=GAPInfo.PackageInfoCurrent.Date;; # either YYYY-MM-DD or DD/MM/YYYY format
 Print("DATE=\"",tmp,"\"\n");
 Print("PackageInfoURL=\"",GAPInfo.PackageInfoCurrent.PackageInfoURL,"\"\n");
 Print("README_URL=\"",GAPInfo.PackageInfoCurrent.README_URL,"\"\n");
+if IsBound(GAPInfo.PackageInfoCurrent.CHANGES_URL) then
+    Print("CHANGES_URL=\"",GAPInfo.PackageInfoCurrent.CHANGES_URL,"\"\n");
+fi;
 # extract archive formats; these can be comma or space separated, we want
 # to output them space separated
 tmp := GAPInfo.PackageInfoCurrent.ArchiveFormats;;
@@ -567,6 +570,19 @@ README_NAME=$(basename "$README_URL")
     error "No file named '$README_NAME' exists; is your README_URL valid?"
 
 
+######################################################################
+#
+# Extract CHANGES filename from CHANGES_URL
+#
+CHANGES_NAME=$(basename "$CHANGES_URL")
+[ ! -z "$CHANGES_NAME" ] ||
+    notice "No CHANGES file is specified in PackageInfo.g"
+if [ ! -z "$CHANGES_NAME" ]; then
+    [ -f "$CHANGES_NAME" ] ||
+        error "No file named '$CHANGES_NAME' exists; is your CHANGES_URL valid?"
+fi
+
+
 ######################################################################
 #
 # Create all archive files requested by ARCHIVE_FORMATS
@@ -713,6 +729,9 @@ cd "$WEB_DIR"
 git pull --ff-only
 
 cp "$TMP_DIR/$BASENAME/$README_NAME" .
+if [ ! -z "$CHANGES_NAME" ]; then
+    cp "$TMP_DIR/$BASENAME/$CHANGES_NAME" .
+fi
 cp "$TMP_DIR/$BASENAME/PackageInfo.g" .
 rm -rf doc/ htm/
 if [ -f "$TMP_DIR/$BASENAME/doc/chap0.html" ] ; then