github: Add workflows file to EXTRA_DIST

Fixes: commit e218dd73cc
This commit is contained in:
Richard W.M. Jones
2025-09-09 19:11:31 +01:00
parent 365e7d79f7
commit a5b7de4a71

View File

@@ -116,6 +116,7 @@ endif
EXTRA_DIST = \
AUTHORS HACKING TODO \
.github/workflows/main.yml \
.gitignore \
.gitpublish \
.lvimrc \