From 57ca9d51d04a6e36486626111b0a95db7967e310 Mon Sep 17 00:00:00 2001
From: Kamal Saleh <kamal.saleh@web.de>
Date: Thu, 28 Sep 2023 15:13:29 +0200
Subject: [PATCH] append -manual.pdf to readme links

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

diff --git a/update.g b/update.g
index e7448e47..54de36e5 100644
--- a/update.g
+++ b/update.g
@@ -152,7 +152,7 @@ GeneratePackageYML:=function(pkg)
         AppendTo(stream, "\n");
     fi;
 
-    AppendTo(stream, "pdf: ", pkg.ArchiveURL, ".pdf\n");
+    AppendTo(stream, "pdf: ", pkg.ArchiveURL, "-manual.pdf\n");
     AppendTo(stream, "\n");
 
     AppendTo(stream, "abstract: |\n");