From 84132237b96421fff95f7725c9c42ec81c26fe9f Mon Sep 17 00:00:00 2001 From: Glenn Washburn Date: Fri, 5 Nov 2021 14:12:55 -0500 Subject: [PATCH] docs: Add sentence on where Debian packages can be searched for online Signed-off-by: Glenn Washburn Reviewed-by: Daniel Kiper --- INSTALL | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/INSTALL b/INSTALL index 38d8d5a4d..8a2b617f3 100644 --- a/INSTALL +++ b/INSTALL @@ -5,7 +5,8 @@ This is the GRUB. Welcome. This file contains instructions for compiling and installing the GRUB. Where this document refers to packages names, they are named according to the -Debian 11 package repositories. +Debian 11 package repositories. These packages can be found by searching +https://packages.debian.org/. The Requirements ================ -- 2.47.2