From ac70ddbe9cb909a27c18a2c17fe94a37e0366348 Mon Sep 17 00:00:00 2001
From: nodiscc <nodiscc@gmail.com>
Date: Tue, 12 May 2020 18:41:14 +0200
Subject: [PATCH] makefile: export the gpg during ISO signing/release

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 22034fc..919b0bb 100644
--- a/Makefile
+++ b/Makefile
@@ -48,6 +48,8 @@ sign_checksums:
 	cd iso; \
 	gpg --detach-sign --armor SHA512SUMS; \
 	mv SHA512SUMS.asc SHA512SUMS.sign
+	# Export the public GPG key used for signing
+	gpg --export --armor nodiscc@gmail.com > dlc-release.key
 
 release_archive:
 	git archive --format=zip -9 HEAD -o $$(basename $$PWD)-$$(git rev-parse HEAD).zip