From 20205a1a8e71e7b22071fd08e893f4e4555327a4 Mon Sep 17 00:00:00 2001
From: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Date: Tue, 3 Oct 2023 07:01:14 +0200
Subject: [PATCH] Makefile: fix id_ed25519.pub file generation

Without that fix the id_ed25519.pub file is empty.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 25cb25c..c938edc 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ all: guix-installer-vm.img
 id_ed25519.pub:
 	printf "ssh-ed25519 %s %s" \
 	'AAAAC3NzaC1lZDI1NTE5AAAAIH2feuEj4asx0ImCG+cuiPv2WdKF6vMI+cJtZyG9cwUQ' \
-	'gnutoo@primary_laptop'
+	'gnutoo@primary_laptop' \
 	> $@
 
 # Generate default key. Can be changed by replacing signing-key.pub.