From a5b7de4a71a4173259ee7597d09b12ae1c5e37d1 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 9 Sep 2025 19:11:31 +0100
Subject: [PATCH] github: Add workflows file to EXTRA_DIST

Fixes: commit e218dd73cc1eecf7ca0dc5908f7bd975658468ca
---
 Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.am b/Makefile.am
index 281fece79..7a0bf5b41 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -116,6 +116,7 @@ endif
 
 EXTRA_DIST = \
 	AUTHORS HACKING TODO \
+	.github/workflows/main.yml \
 	.gitignore \
 	.gitpublish \
 	.lvimrc \