From 2527e334e6485a75a209506e8e3f4c037538c153 Mon Sep 17 00:00:00 2001
From: Fabian Zickgraf <f.zickgraf@dashdos.com>
Date: Wed, 30 Aug 2023 15:24:47 +0200
Subject: [PATCH] Prepend basename (package name and version) to upload name of
 manual

This is more similar to the situation before 8caef1d3 and allows to better
keep track of downloaded manuals locally.
---
 release-gap-package | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/release-gap-package b/release-gap-package
index ef610e0..57df1aa 100755
--- a/release-gap-package
+++ b/release-gap-package
@@ -679,7 +679,7 @@ echo ""
 
 for PDFFile in $PDFFiles ; do
     FULLNAME="$TMP_DIR/$BASENAME/$PDFFile"
-    UPLOADNAME=$(echo "${PDFFile#doc/}" | sed 's;/;-;g')
+    UPLOADNAME=$BASENAME-$(echo "${PDFFile#doc/}" | sed 's;/;-;g')
     if [ ! -f "$FULLNAME" ] ; then
         error "could not find PDF"
     fi