From 56e04f1bb18eafdbdedbc51462bcb7307ad19b4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luis=20Guzm=C3=A1n?= <ark@switnet.org>
Date: Mon, 17 Oct 2022 13:49:36 +0000
Subject: [PATCH] main-menu: integrate udeb from debian upstream

---
 helpers/make-main-menu | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/helpers/make-main-menu b/helpers/make-main-menu
index 220656b..9855345 100644
--- a/helpers/make-main-menu
+++ b/helpers/make-main-menu
@@ -18,11 +18,13 @@
 #
 
 VERSION=1
+EXTERNAL='deb-src http://ftp.debian.org/debian stable main'
+REPOKEY=648ACFD622F3D138
 NETINST=true
 . ./config
 
-rpl Ubuntu Trisquel . -R
-rpl UBUNTU TRISQUEL . -R
+rpl Debian Trisquel . -R
+rpl DEBIAN TRISQUEL . -R
 
 changelog "Rebranded and adapted for Trisquel"
 compile